Browse > Article

Technology for Verified Softwares  

Yi, Kwang-Keun (서울대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.24, no.12, 2006 , pp. 17-20 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 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
2 Tony Hoare and Jay Misra. Vision of a Grand Challenge project, Verified software: theories, tools, experiments. vstte.inf.ethz. ch, July 2005
3 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
4 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
5 National Institute of Standards and Technology. The economic impacts of inadequate infrastructure for software testing. Program Office Strategic Planning and Economic Analysis Group, 2002
6 Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002
7 E. M. Clarke, Orna Grumberg, and Doron Peled. Model Checking. The MIT Press, 1999
8 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   DOI
9 President's Information Technology Advisory Committee. Information Technology Research: Investing in Our Future. www.nitrd.gov/pitac/report, February 1999