Intelligent Systems and Formal Methods in Software Engineering

Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green,
Silvio Ranise, Cesare Tinelli, Thomas Ball and Sriram K. Rajamani


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.