A Formal Executable Semantics of PROMELA
No abstract available.
Related papers
- Reactive EFSMs - Reactive Promela/RSPIN TACAS 1996
- Extending Promela and Spin for Real Time TACAS 1996
- VIP: A Visual Editor and Compiler for v-Promela TACAS 2000
- An Executable Formal Semantics of PHP ECOOP 2014
- A Formal Executable Semantics of the JavaCard Platform ESOP 2001
- Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors PLDI 1991
- An executable formal semantics of C with applications POPL 2012
- Modular, compositional, and executable formal semantics for LLVM IR ICFP 2021