Automatic predicate abstraction of C programs (2001)

by Thomas Ball , Rupak Majumdar , Todd Millstein , Sriram K. Rajamani
Venue:IN PROC. ACM PLDI
Citations:472 - 30 self

Documents Related by Co-Citation

648 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
2004 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
352 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
606 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
486 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
282 A static analyzer for finding dynamic programming errors’, Software Practice and Experience – William R Bush, Jonathan D Pincus, David J Sielaff - 2000
408 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
663 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000