CVC: a Cooperating Validity Checker (2002)

View PDF

Download Links

by Aaron Stump , Clark W. Barrett , David L. Dill
Venue:In 14th International Conference on Computer-Aided Verification
Citations:122 - 22 self

Documents Related by Co-Citation

386 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
418 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
1206 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
648 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
486 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
425 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
663 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
225 CVC Lite: A New Implementation of the Cooperating Validity Checker – C Barrett, S Berezin - 2004