Certifying Model Checkers
No abstract available.
Related papers
- Towards a Certified Petri Net Model-Checker APLAS 2011
- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems TACAS 2010
- CoqCryptoLine: A Verified Model Checker with Certified Results CAV 2023
- Introducing Certificates to the Hardware Model Checking Competition CAV 2025
- Progress in Certifying Hardware Model Checking Results CAV 2021
- Efficient Certified Resolution Proof Checking TACAS 2017
- Formally Certified Approximate Model Counting CAV 2024
- Verified Certification of Reachability Checking for Timed Automata TACAS 2020