CVC Lite: A New Implementation of the Cooperating Validity Checker Category B
No abstract available.
Related papers
- CVC: A Cooperating Validity Checker CAV 2002
- cvc5: A Versatile and Industrial-Strength SMT Solver TACAS 2022
- PyCHC: A Framework for Certified Horn Solving and CHC-Based Design CAV 2026
- cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis CAV 2019
- Interpretation-Based Violation Witness Validation for C: NITWIT TACAS 2020
- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023
- A Note on Model Checkers Reuse and Validation APLAS 2000
- JBernstein: A Validity Checker for Generalized Polynomial Constraints CAV 2013