Bbs: A Phase-Bounded Model Checker for Asynchronous Programs
Abstract elided by the publisher.
Related papers
- Bounded Model Checking for Asynchronous Hyperproperties TACAS 2023
- Tuning SAT Checkers for Bounded Model Checking CAV 2000
- CBMC - C Bounded Model Checker - (Competition Contribution) TACAS 2014
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution) TACAS 2012
- Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking VMCAI 2019
- HyperQB 2.0: A Bounded Model Checker for Hyperproperties CAV 2026
- A Monadic Framework for Name Resolution in Multi-phased Type Checkers GPCE 2023