Formal Verification of SDL Systems at the Siemens Mobile Phone Department

摘要

In this paper we present the multi process verification of SDL systems at the Siemens mobile phone department. the formal verification is efficiently performed by the model checker tool SVE that is developed at Siemens, too. Several case studies in the area of telecommunication protocols show that model checking techniques have reached a state where they can profitably be integrated in the industrial software development process.