Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper
Abstract elided by the publisher.
Related papers
- Pono: A Flexible and Extensible SMT-Based Model Checker CAV 2021
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023
- HyComp: An SMT-Based Model Checker for Hybrid Systems TACAS 2015
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015
- Cardinalities and universal quantifiers for verifying parameterized systems PLDI 2016
- HyperQB 2.0: A Bounded Model Checker for Hyperproperties CAV 2026
- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings CAV 2019