CVC Lite: A New Implementation of the Cooperating Validity Checker
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Strengthening Invariants by Symbolic Consistency TestingLecture Notes in Computer Science, 2003
- Translation and Run-Time Validation of Optimized CodeElectronic Notes in Theoretical Computer Science, 2002
- CVC: A Cooperating Validity CheckerLecture Notes in Computer Science, 2002
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979