Synchronous Closing of Timed SDL Systems for Model Checking
No abstract available.
Related papers
- Model Checking SDL with Spin TACAS 2000
- Formal Verification of SDL Systems at the Siemens Mobile Phone Department TACAS 1998
- Distributed Markov Chains VMCAI 2015
- Combining Finite Automata, Parallel Programs and SDL Using Petri Nets TACAS 1998
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications CAV 1992
- Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams CAV 2001
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025