Documents Related by Co-Citation

296 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
352 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
92 DPLL(T): Fast Decision Procedures – Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2004
184 CVCLite: A new implementation of the cooperating validity checker category b – C W Barrett, S Berezin
41 C.: The Satisfiability Modulo Theories Library (SMT-LIB – C Barrett, A Stump, Tinelli - 2010
48 Back to the Future -- Revisiting Precise Program Verification using SMT Solvers – Shuvendu K. Lahiri, Shaz Qadeer - 2008
318 The SLAM project: debugging system software via static analysis – Thomas Ball, Sriram K. Rajamani
381 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
74 BoogiePL: A typed procedural language for checking object-oriented programs – Robert Deline, K. Rustan, M. Leino - 2005
92 Dynamic partial-order reduction for model checking software – C Flanagan andP Godefroid - 2005
19 Model-based Theory Combination – Leonardo de Moura, Nikolaj Bjørner - 2008
15 Zap: Automated Theorem Proving for Software Analysis – Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi - 2005
38 Basic compiler algorithms for parallel programs – Jaejin Lee, David A. Padua - 1999
14 Parametric and sliced causality – F Chen, G Rosu - 2007
19 Bounded model checking of concurrent programs – Ishai Rabinovitz, Orna Grumberg - 2005
139 A tool for checking ANSI-C programs – Edmund Clarke, Daniel Kroening, Flavio Lerda - 2004
38 Checkfence: Checking consistency of concurrent data types on relaxed memory models – Sebastian Burckhardt, Rajeev Alur, Milo M K Martin - 2007
482 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
520 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997