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

1110 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
74 A Decision Procedure for an Extensional Theory of Arrays – Aaron Stump, Clark W. Barrett, David L. Dill - 2001
391 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
352 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
182 A Fast Linear-Arithmetic Solver for DPLL(T – Bruno Dutertre, Leonardo De Moura - 2006
111 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
158 Deciding combinations of theories – R E Shostak - 1984
116 DPLL(T): Fast Decision Procedures – Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2004
89 Checking satisfiability of first-order formulas by incremental translation to SAT – C Barrett, D L Dill, A Stump - 2002
125 E - A Brainiac Theorem Prover – Stephan Schulz - 2002
36 Abstract congruence closure – Leo Bachmair, Ashish Tiwari, Laurent Vigneron
9 Computer Aided Reasoning : ACL2 Case Studies – M Kaufmann, P Manolios, Eds Moore, J S - 2000
531 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
74 A New Correctness Proof of the Nelson-Oppen Combination Procedure – Cesare Tinelli, Mehdi Harandi - 1996
29 2002b. A generalization of Shostak’s method for combining decision procedures – Clark W. Barrett, David L. Dill, Aaron Stump
35 Deconstructing Shostak – Harald Rueß, Natarajan Shankar - 2002
52 On Shostak's Decision Procedure for Combinations of Theories – David Cyrluk, Patrick Lincoln, Natarajan Shankar - 1996