Documents Related by Co-Citation

243 Z3: An Efficient SMT Solver – Leonardo De Moura, Nikolaj Bjørner - 2008
4 Constraint-based Invariant Inference over Predicate Abstraction – Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
13 Oracle-Guided Component-Based Program Synthesis – Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
23 From Program Verification to Program Synthesis – Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
8 Schema-guided synthesis of imperative programs by constraint solving – Michael Colón - 2004
5 Ranking function synthesis for bit-vector relations – Byron Cook, Daniel Kroening, Christoph M. Wintersteiger - 2010
21 Array abstractions from proofs – Ranjit Jhala, Kenneth L. Mcmillan - 2007
11 Finding Loop Invariants for Programs over Arrays Using a Theorem Prover – Laura Kovács, Andrei Voronkov - 2009
12 Quantified invariant generation using an interpolating saturation prover – K. L. Mcmillan - 2008
85 Predicate abstraction for software verification – C Flanagan, S Qadeer - 2002
16 Invariant synthesis for combined theories – Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko - 2007
26 Lifting abstract interpreters to quantified logical domains – Sumit Gulwani - 2008
39 A Framework for Numeric Analysis of Array Operations – Denis Gopan Gopan, Thomas Reps, Mooly Sagiv
126 R.: Static determination of dynamic properties of programs – P Cousot, Cousot - 1976
8 InvGen: An efficient invariant generator – Ashutosh Gupta, Andrey Rybalchenko - 2009
471 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
16 Program analysis as constraint solving – Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan - 2008
23 AMPHION: Automatic programming for scientific subroutine libraries – Michael Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood - 1994
9 Automating software testing using program analysis – P Godefroid, P de Halleux, A V Nori, S K Rajamani, W Schulte, N Tillmann, M Y Levin