ASMKeY
From MaRDI portal
Software:37166
swMATH25427MaRDI QIDQ37166FDOQ37166
Author name not available (Why is that?)
Cited In (6)
- A logic for secure memory access of abstract state machines
- Abstract State Machines 2004. Advances in Theory and Practice
- 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
