Formal Verification of SDL Systems at the Siemens Mobile Phone Department
Abstract elided by the publisher.
Related papers
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications CAV 1992
- SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form PLDI 2001
- TouchDevelop: programming cloud-connected mobile devices via touchscreen Onward! 2011
- Synchronous Closing of Timed SDL Systems for Model Checking VMCAI 2002
- The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing OOPSLA 2013
- Combining Finite Automata, Parallel Programs and SDL Using Petri Nets TACAS 1998
- Model Checking SDL with Spin TACAS 2000
- Performance is dead, long live performance! CGO 2010