Verification via Structure Simulation
No abstract available.
Related papers
- Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine APLAS 2018
- On Bridging Simulation and Formal Verification VMCAI 2008
- Marella: A Tool for Simulation and Verification CAV 1996
- Parsimonious, Simulation Based Verification of Linear Systems CAV 2016
- OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing TACAS 1998
- Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants CAV 2005
- Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder TACAS 2004
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007