CVC Lite: A New Implementation of the Cooperating Validity Checker

Publisher Website

1 January 2004

book chapter
Published by Springer Nature

p. 515-518
https://doi.org/10.1007/978-3-540-27813-9_49

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Strengthening Invariants by Symbolic Consistency Testing
Published by Springer Nature ,2003
Translation and Run-Time Validation of Optimized Code
Electronic Notes in Theoretical Computer Science, 2002
CVC: A Cooperating Validity Checker
Published by Springer Nature ,2002
Validity checking for combinations of theories with equality
Published by Springer Nature ,1996
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems, 1979