Automatic predicate abstraction of C programs (2001)

Cached

Download Links

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

Documents Related by Co-Citation

597 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
265 A static analyzer for finding dynamic programming errors – W Bush, J Pincus, D Sielaff
338 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
1868 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
564 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
384 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
360 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
445 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
1253 The model checker SPIN – Gerard J. Holzmann - 1997
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
159 Boolean and Cartesian Abstraction for Model Checking C Programs – Thomas Ball, Andreas Podelski, Sriram K. Rajamani - 2001
598 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
130 Experience with Predicate Abstraction – Satyaki Das , David L. Dill, Seungjoon Park - 1999
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
292 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
19 Checking system rules using system-speci c, programmer-written compiler extensions – D Engler, B Chelf, A Chou, S Hallem
620 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
1170 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
2917 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986