Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A)
Abstract elided by the publisher.
Related papers
- Safety Verification and Refutation by k-Invariants and k-Induction SAS 2015
- Property Directed Reachability with Extended Resolution CAV 2025
- Latticed k-Induction with an Application to Probabilistic Programs CAV 2021
- Refinement Type Refutations OOPSLA 2024
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Avoiding the Shoals - A New Approach to Liveness Checking CAV 2024
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- The TLA+ Model Checker Apalache CAV 2026