CVC: a Cooperating Validity Checker (2002)

Cached

Download Links

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

Documents Related by Co-Citation

357 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
396 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
60 Theorem proving using lazy proof explication – Cormac Flanagan, Rajeev Joshi, Jamesb. Saxe - 2003
400 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
142 Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions – Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia - 2002
204 CVC Lite: A new implementation of the cooperating validity checker – Clark Barrett, Sergey Berezin - 2004
75 A Decision Procedure for an Extensional Theory of Arrays – Aaron Stump, Clark W. Barrett, David L. Dill - 2001
118 DPLL(T): Fast Decision Procedures – Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2004
161 Deciding combination of theories – R Shostak - 1984
36 Deconstructing Shostak – Harald RueƟ, Natarajan Shankar - 2002
1119 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
449 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
600 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
213 Abstractions from Proofs – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan - 2004
151 Validity Checking for Combinations of Theories with Equality – Clark Barrett, David Dill, Jeremy Levitt - 1996
62 N.: ICS: Integrated canonizer and solver – J C Filliatre, S Owre, H Rue, Shankar
602 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
532 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992