Cited in
(11)- A logic for secure memory access of abstract state machines
- Abstract State Machines 2004. Advances in Theory and Practice
- KeY-C
- LPTP
- FALKO
- XASM
- ASM Workbench
- KeY: A Formal Method for Object-Oriented Systems
- A system for compositional verification of asynchronous objects
- Formal specification and verification of the C\(\#\) thread model
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
This page was built for software: ASMKeY
