A Note on Model Checkers Reuse and Validation
No abstract available.
Related papers
- The JKind Model Checker CAV 2018
- CVC: A Cooperating Validity Checker CAV 2002
- JBernstein: A Validity Checker for Generalized Polynomial Constraints CAV 2013
- CVC Lite: A New Implementation of the Cooperating Validity Checker Category B CAV 2004
- EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations CAV 2001
- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems CAV 2021
- Automatic Predicate Abstraction of C Programs PLDI 2001
- Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution) TACAS 2024