Active Bibliography

REASONING AND PROGRAM SYNTHESIS – Saurabh Srivastava, Jeffrey S. Foster
1 Satisfiability-Based Program REASONING AND PROGRAM SYNTHESIS – Saurabh Srivastava - 2010
unknown title – Zvonimir Rakamarić, Dino Distefano, Jean-christophe Filliâtre, Michal Moskal, Peter Mller, Shaz Qadeer, Zvonimir Rakamarić, Stephen Siegel, Ofer Strichman, Thomas Wies, Jochen Hoenicke, Emina Torlak - 2012
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Template-based Program Verification and Program Synthesis – Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
31 Path invariants – Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko - 2007
36 Modular Data Structure Verification – Martin C. Rinard - 2007
8 Automatic modular abstractions for template numerical constraints – David Monniaux - 2010
A parametric segmentation . . . – Patrick Cousot, Radhia Cousot, Francesco Logozzo - 2011
A parametric segmentation functor for fully . . . – Patrick Cousot, Radhia Cousot, Francesco Logozzo - 2011
3 SMT-Based Array Invariant Generation – Daniel Larraz, Enric Rodríguez-carbonell, Albert Rubio - 2013
7 Program analysis via satisfiability modulo path programs – William R. Harris, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta - 2010
8 Abstraction Refinement for Quantified Array Assertions – Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies - 2009
Program Verification by . . . – Ranjit Jhala - 2004
4 What’s Decidable About Sequences? – Carlo A. Furia - 2010
Invariant and Type Inference for Matrices ⋆ – Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov, Eth Zürich
PRECISE AND AUTOMATIC VERIFICATION OF CONTAINER-MANIPULATING PROGRAMS – Isil Dillig
Author manuscript, published in "Verification, Model Checking, and Abstract Interpretation, Madrid: Spain (2010)" DOI: 10.1007/978-3-642-11319-2_21 An analysis of permutations in arrays ⋆ – Valentin Perrelle, Nicolas Halbwachs - 2010
18 Fluid Updates: Beyond Strong vs. Weak Updates – Isil Dillig, Thomas Dillig, Alex Aiken
10 From tests to proofs – Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko - 2009