The Community for Technology Leaders
Green Image
Issue No. 06 - November/December (2006 vol. 21)
ISSN: 1541-1672
pp: 71-81
Sriram K. Rajamani , Microsoft Research
Cordell Green , Kestrel Institute
Cesare Tinelli , University of Iowa
Thomas Ball , Microsoft Research
Bernhard Beckert , University of Koblenz
Reiner H?hnle , University of Koblenz
Tony Hoare , Microsoft Research
Douglas R. Smith , Kestrel Institute
ABSTRACT
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
CITATION
Sriram K. Rajamani, Cordell Green, Cesare Tinelli, Thomas Ball, Silvio Ranise, Bernhard Beckert, Reiner H?hnle, Tony Hoare, Douglas R. Smith, "Intelligent Systems and Formal Methods in Software Engineering", IEEE Intelligent Systems, vol. 21, no. , pp. 71-81, November/December 2006, doi:10.1109/MIS.2006.117
100 ms
(Ver )