SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Abstract elided by the publisher.
Related papers
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- INFAMY: An Infinite-State Markov Model Checker CAV 2009
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014
- Certifying Model Checkers CAV 2001
- Towards a Certified Petri Net Model-Checker APLAS 2011
- Verified Certification of Reachability Checking for Timed Automata TACAS 2020
- Introducing Certificates to the Hardware Model Checking Competition CAV 2025