This Article 
 Bibliographic References 
 Add to: 
Intelligent Systems and Formal Methods in Software Engineering
November/December 2006 (vol. 21 no. 6)
pp. 71-81
Bernhard Beckert, University of Koblenz
Tony Hoare, Microsoft Research
Reiner H?hnle, University of Koblenz
Douglas R. Smith, Kestrel Institute
Cordell Green, Kestrel Institute
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.
Index Terms:
formal methods, software engineering, program verification, deductive software verification, satisfiability modulo theories, software synthesis
Bernhard Beckert, Tony Hoare, Reiner H?hnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani, "Intelligent Systems and Formal Methods in Software Engineering," IEEE Intelligent Systems, vol. 21, no. 6, pp. 71-81, Nov.-Dec. 2006, doi:10.1109/MIS.2006.117
Usage of this product signifies your acceptance of the Terms of Use.