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:398 - 25 self

Documents Related by Co-Citation

600 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
266 A static analyzer for finding dynamic programming errors. Software - Practice and Experiance 2000;(30):775–802 – W R Bush, J D Pincus, D J Sielaff
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
567 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
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
449 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
1254 The model checker SPIN – Gerard J. Holzmann - 1997
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
160 Boolean and Cartesian Abstraction for Model Checking C Programs – Thomas Ball, Andreas Podelski, Sriram K. Rajamani - 2001
602 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
132 Experience with Predicate Abstraction – Satyaki Das , David L. Dill, Seungjoon Park - 1999
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
291 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
623 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986