Automatic Verification of Abstract State Machines
No abstract available.
Related papers
- Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic TACAS 2004
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- Mining specifications POPL 2002
- Example Guided Synthesis of Linear Approximations for Neural Network Verification CAV 2022
- Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking CAV 2025
- Algorithmic Verification of Recursive Probabilistic State Machines TACAS 2005
- Verification of Well-Formed Communicating Recursive State Machines VMCAI 2006
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022