ASMKeY

MaRDI QIDQ37166swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-540-24773-9_13

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