Crocos: An Integrated Environment for Interactive Verification of SDL Specifications
Abstract elided by the publisher.
Related papers
- Formal Verification of SDL Systems at the Siemens Mobile Phone Department TACAS 1998
- A real world object modeling method for creating simulation environment of real-time systems OOPSLA 2000
- Synthesis modulo recursive functions OOPSLA 2013
- Combining Finite Automata, Parallel Programs and SDL Using Petri Nets TACAS 1998
- Model Checking SDL with Spin TACAS 2000
- Synchronous Closing of Timed SDL Systems for Model Checking VMCAI 2002
- The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification TACAS 2014
- Integrated Environment for Diagnosing Verification Errors TACAS 2016