Documents Related by Co-Citation

597 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
393 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
338 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
203 Modular verification of software components in C – Sagar Chaki, Edmund Clarke, Alex Groce, et al. - 2003
369 The SLAM project: debugging system software via static analysis – Thomas Ball, Sriram K. Rajamani
195 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
249 ESP: Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
405 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
598 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
384 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
1868 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
518 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
159 Boolean and Cartesian Abstraction for Model Checking C Programs – Thomas Ball, Andreas Podelski, Sriram K. Rajamani - 2001
1110 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
210 Abstractions from Proofs – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan - 2004
265 A static analyzer for finding dynamic programming errors – W Bush, J Pincus, D Sielaff
191 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
369 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994