An SMT-Based Approach to Coverability Analysis
Abstract elided by the publisher.
Related papers
- SMT-Friendly Formalization of the Solidity Memory Model ESOP 2020
- Incremental, Inductive Coverability CAV 2013
- Approaching the Coverability Problem Continuously TACAS 2016
- SMT(LIA) Sampling with High Diversity TACAS 2026
- Pono: A Flexible and Extensible SMT-Based Model Checker CAV 2021
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024
- SMT-Based Modular Analysis of Sequential Systems Code CAV 2011
- Boosting Few-Pixel Robustness Verification via Covering Verification Designs CAV 2024