Documents Related by Co-Citation

50 From Program Verification to Program Synthesis – Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
11 Constraint-based Invariant Inference over Predicate Abstraction – Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
33 Program analysis as constraint solving – Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan - 2008
34 Array abstractions from proofs – Ranjit Jhala, Kenneth L. Mcmillan - 2007
24 Quantified invariant generation using an interpolating saturation prover – K. L. Mcmillan - 2008
96 Predicate abstraction for software verification – Cormac Flanagan, Shaz Qadeer - 2002
419 Z3: An Efficient SMT Solver – Leonardo De Moura, Nikolaj Bjørner - 2008
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
25 Oracle-Guided Component-Based Program Synthesis – Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
47 A Framework for Numeric Analysis of Array Operations – Denis Gopan Gopan, Thomas Reps, Mooly Sagiv
39 Lifting abstract interpreters to quantified logical domains – Sumit Gulwani - 2008
23 Finding Loop Invariants for Programs over Arrays Using a Theorem Prover – Laura Kovács, Andrei Voronkov - 2009
600 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
165 Static determination of dynamic properties of programs – P Cousot, R Cousot - 1976
508 Learning regular sets from queries and counterexamples – D Angluin - 1987
21 Invariant synthesis for combined theories – Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko - 2007
13 Schema-guided synthesis of imperative programs by constraint solving – Michael Colón - 2004
15 Ranking function synthesis for bit-vector relations – Byron Cook, Daniel Kroening, Christoph M. Wintersteiger - 2010
89 What’s decidable about arrays – Aaron R. Bradley, Zohar Manna, Henny B. Sipma - 2006