Issue No. 06 - November/December (2006 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MIS.2006.117
Bernhard Beckert , University of Koblenz
Tony Hoare , Microsoft Research
Reiner H?hnle , University of Koblenz
Douglas R. Smith , Kestrel Institute
Cordell Green , Kestrel Institute
Silvio Ranise , INRIA
Cesare Tinelli , University of Iowa
Thomas Ball , Microsoft Research
Sriram K. Rajamani , Microsoft Research
Formal methods in software engineering are an increasingly important application area for intelligent systems. The field has outgrown the area of academic case studies, and industry is showing serious interest. This installment of Trends & Controversies looks at the state of the art in formal methods and discusses the developments that make successful applications possible.
formal methods, software engineering, program verification, deductive software verification, satisfiability modulo theories, software synthesis
S. K. Rajamani et al., "Intelligent Systems and Formal Methods in Software Engineering," in IEEE Intelligent Systems, vol. 21, no. , pp. 71-81, 2006.