References
- Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, and Xavier Rival. A static analyzer for large safety-critical software. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 196-207, June 2003
- E. M. Clarke, Orna Grumberg, and Doron Peled. Model Checking. The MIT Press, 1999
- President's Information Technology Advisory Committee. Information Technology Research: Investing in Our Future. www.nitrd.gov/pitac/report, February 1999
- Patrick Cousot and Radhia Cousot. Abstract Interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238-252, 1977
- Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511-547, 1992. Also as a tech report: Ecole Polytchnique, no. LIX/RR/92/10 https://doi.org/10.1093/logcom/2.4.511
- Patrick Cousot and Radhia Cousot. Inductive definitions, semantics and abstract interpretation. In Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 83-94, 1992
- Tony Hoare and Jay Misra. Vision of a Grand Challenge project, Verified software: theories, tools, experiments. vstte.inf.ethz. ch, July 2005
- National Institute of Standards and Technology. The economic impacts of inadequate infrastructure for software testing. Program Office Strategic Planning and Economic Analysis Group, 2002
- Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002