Linear Completeness Thresholds for Bounded Model Checking
Abstract elided by the publisher.
Related papers
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019
- Efficient Loop Conditions for Bounded Model Checking Hyperproperties TACAS 2023
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015
- Optimizing Bounded Model Checking for Linear Hybrid Systems VMCAI 2005
- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking VMCAI 2009
- Incremental and Complete Bounded Model Checking for Full PLTL CAV 2005
- Completeness and Complexity of Bounded Model Checking VMCAI 2004