Formal verification of SDL systems at the siemens mobile phone department

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1384, Issue , 1998, Pages 439-455

  Regensburger, Franz ^a   Barnard, Aenne ^a  

^a SIEMENS AG   (Germany)

Author keywords

Formal verification; Model checking; SDL; Telecommunication protocols

Indexed keywords

CELLULAR TELEPHONES; MODEL CHECKING; SOFTWARE DESIGN;

CASE-STUDIES; INDUSTRIAL SOFTWARE DEVELOPMENT; MODEL CHECKER; MODEL-CHECKING TECHNIQUES; MULTI-PROCESSES; SIEMENS; TELECOMMUNICATION PROTOCOLS;

FORMAL VERIFICATION;

EID: 84947914481     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054188     Document Type: Conference Paper

References (4)

1. P. Bader, T. Filkorn, and J. Bormann. SPL (SDL Property Language): Syntax und Semantik. Siemens ZT AN 1 (internal document), December 1996.
2. Z.100(1993):CCITT specification and description language (SDL). ITU-T, 1993.
3. E.A. Emerson. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, chapter 16, pages 996-1072. Elsevier Science Publisher, 1990.
4. D.E. Long. Model Checking, Abstraction and Compositional Verification. PhD thesis, Carnegie Mellon University, 1993.