CVC: A Cooperating Validity Checker
No abstract available.
Related papers
- CVC Lite: A New Implementation of the Cooperating Validity Checker Category B CAV 2004
- cvc5: A Versatile and Industrial-Strength SMT Solver TACAS 2022
- PyCHC: A Framework for Certified Horn Solving and CHC-Based Design CAV 2026
- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023
- cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis CAV 2019
- A Note on Model Checkers Reuse and Validation APLAS 2000
- JBernstein: A Validity Checker for Generalized Polynomial Constraints CAV 2013
- EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations CAV 2001