Active Bibliography

2 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
Program Verification by . . . – Ranjit Jhala - 2004
205 Modular verification of software components in C – Sagar Chaki, Edmund Clarke, Alex Groce, et al. - 2003
26 Polymorphic predicate abstraction – Thomas Ball, Todd Millstein, Sriram K. Rajamani - 2000
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
27 Efficient Verification of Sequential and Concurrent C Programs – Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav - 2003
contributed articles A Decade of Software Model Checking with SLAM – Thomas Ball
11 A Decade of Software Model Checking with SLAM – Thomas Ball, Vladimir Levin, Sriram K. Rajamani
5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
21 A logic and decision procedure for predicate abstraction of heap-manipulating programs – Jesse Bingham, Zvonimir Rakamarić - 2005
1 Satisfiability-Based Program REASONING AND PROGRAM SYNTHESIS – Saurabh Srivastava - 2010
tballOmicrosoft, com – Thomas Ball, Todd Millstein, Rupak Majumdar, Sriram K. Rajamani
400 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
31 Refining Approximations in Software Predicate Abstraction – Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani - 2004
REASONING AND PROGRAM SYNTHESIS – Saurabh Srivastava, Jeffrey S. Foster
22 Model checking C programs using F-Soft – Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang - 2005
3 Verification using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation – Himanshu Jain, Randal E. Bryant - 2008
28 Typestate verification: Abstraction techniques and complexity results – J. Field, D. Goyal, G. Ramalingam, E. Yahav - 2003
59 Relative Completeness of Abstraction Refinement for Software Model Checking – Thomas Ball, Andreas Podelski, Sriram K. Rajamani - 2002