The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November/December (2006 vol.21)
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
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
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, November/December 2006, doi:10.1109/MIS.2006.117
37 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool