Model Checking SDL with Spin
No abstract available.
Related papers
- Synchronous Closing of Timed SDL Systems for Model Checking VMCAI 2002
- Combining Finite Automata, Parallel Programs and SDL Using Petri Nets TACAS 1998
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications CAV 1992
- Formal Verification of SDL Systems at the Siemens Mobile Phone Department TACAS 1998
- Truly On-the-Fly LTL Model Checking TACAS 2005
- Types as models: model checking message-passing programs POPL 2002
- The State of SPIN CAV 1996
- Extending Promela and Spin for Real Time TACAS 1996