References
- Proceedings of the ACM Symposium on Principals of Programming Languages Abstract interpretation: a unified lattice model for the static analysis of programs by construction or approximation of fixpoints P. Cousot;R. Cousot
- Journal of Logic and Computation v.2 no.4 Abstract Interpretation Frameworks P. Cousot;R. Cousot
- Proceedings of International Conference on Software Engineering Tool~supported program abstraction for finite~state verification M. Dwyer;J. Hatcliff;R. Joehanes;S. Laubach;C. Pasareanu;Robby, W. Visser;H. Zheng
- Model Checking E. M. Clarke;O. Grumberg;D. Peled
- Ph.D. thesis, Stanford University Techniques for Program Verification G. Nelson
- Research Report 159, Compaq System Research Center Extended Static Checking D. Detlefs;R. Leino;G. Nelson;J. B. Saxe
- Proceedings of the ACM Symposium on Principals of Programming Languages The SLAM project: debugging system software via static analysis T. Bell;S. K. Rajamani
- Technical report MSR-TR-2001-21 SLIC: A Specification Language for Interface Checking (of C) T. Ball;S. K. Rajamani
- Proceedings of Conference on Programming Language Design and Implementation Automatic Predicate Abstraction of C Programs T. Ball;T. Millstein;S. K. Rajamani
- Proceedings of Workshop on Program Analysis for Software Tools and Engineering Bebop: A Path-sensitive Interprocedural Dataflow Engine T. Ball;S. K. Rajamani
- Technical report MSR-TR-2002-09 Generating Abstract Explanations of Spurious Counterexamples in C Programs T. Ball;S. K. Rajamani
- Proceedings of International Conference on Software Engineering Verification of Time Partitioning in the DEOS real-time Scheduling Kernel J. Penix;W. Visser;E. Engstrom;A. Larson;N. Weininger
- Proceedings of the ACM SIGPLAN Partial Evaluation and Program Manipulation Slicing Software for Model Construction M. B. Dwyer;J. Hatcliff;H. Zheng
- Proceedings of Conference on Programming Language Design and Implementation Extended static checking for Java C. Flanagan;K. R. M. Leino;M. Lillibridge;G. Nelson;J. B. Saxe;R. Stata
- Computer-Aided Verification Temporal-Safety Proofs for Systems Code T. A. Henzinger;R. Jhala;R. Majumdar;G. C. Necula;G. Sutre;W. Weimer
- Workshop on Advances in Verification Java PathFinder - A second generation of a Java model checker G. Brat;K. Havelund;S. Park;W. Visser
- Proceedings of the International Conference on Software Engineering Bandera: Extracting Finite~state Models from Java Source Code J. Corbett;M. Dwyer;J. Hatcliff;C. Pasareanu;Robby;S. Laubach;H. Zheng