Faster Proof Checking in the Edinburgh Logical Framework (2002)

Cached

Download Links

by Aaron Stump , David L. Dill
Venue:In 18th International Conference on Automated Deduction
Citations:17 - 3 self

Documents Related by Co-Citation

1119 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
113 CVC: a Cooperating Validity Checker – Aaron Stump, Clark W. Barrett, David L. Dill - 2002
75 A Decision Procedure for an Extensional Theory of Arrays – Aaron Stump, Clark W. Barrett, David L. Dill - 2001
396 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
30 A Framework for Cooperating Decision Procedures – Clark W. Barrett, David L. Dill, Aaron Stump - 2000
357 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
183 A Fast Linear-Arithmetic Solver for DPLL(T – Bruno Dutertre, Leonardo De Moura - 2006
114 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
161 Deciding combination of theories – R Shostak - 1984
118 DPLL(T): Fast Decision Procedures – Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2004
90 A.: Checking satisfiability of first-order formulas by incremental translation to SAT – C W Barrett, D L Dill, Stump
126 E - A Brainiac Theorem Prover – Stephan Schulz - 2002
9 Computer Aided Reasoning : ACL2 Case Studies – M Kaufmann, P Manolios, Eds Moore, J S - 2000
37 Abstract congruence closure – Leo Bachmair, Ashish Tiwari, Laurent Vigneron
30 2002b. A generalization of Shostak’s method for combining decision procedures – Clark W. Barrett, David L. Dill, Aaron Stump
36 Deconstructing Shostak – Harald Rueß, Natarajan Shankar - 2002
74 A New Correctness Proof of the Nelson-Oppen Combination Procedure – Cesare Tinelli, Mehdi Harandi - 1996
61 Efficient Representation and Validation of Proofs – George C. Necula, Peter Lee - 1998
532 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992