Formal verification of SDL systems at the Siemens mobile phone department
F Regensburger, A Barnard - Tools and Algorithms for the Construction …, 1998 - Springer
F Regensburger, A Barnard
Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998•SpringerIn 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.
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.
Abstract
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.
Springer
Showing the best result for this search. See all results