This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Intelligent Systems and Formal Methods in Software Engineering
November/December 2006 (vol. 21 no. 6)
pp. 71-81
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/MIS.2006.117,
author = {Bernhard Beckert and Tony Hoare and Reiner H?hnle and Douglas R. Smith and Cordell Green and Silvio Ranise and Cesare Tinelli and Thomas Ball and Sriram K. Rajamani},
title = {Intelligent Systems and Formal Methods in Software Engineering},
journal ={IEEE Intelligent Systems},
volume = {21},
number = {6},
issn = {1541-1672},
year = {2006},
pages = {71-81},
doi = {http://doi.ieeecomputersociety.org/10.1109/MIS.2006.117},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Intelligent Systems
TI - Intelligent Systems and Formal Methods in Software Engineering
IS - 6
SN - 1541-1672
SP71
EP81
EPD - 71-81
A1 - Bernhard Beckert,
A1 - Tony Hoare,
A1 - Reiner H?hnle,
A1 - Douglas R. Smith,
A1 - Cordell Green,
A1 - Silvio Ranise,
A1 - Cesare Tinelli,
A1 - Thomas Ball,
A1 - Sriram K. Rajamani,
PY - 2006
KW - formal methods
KW - software engineering
KW - program verification
KW - deductive software verification
KW - satisfiability modulo theories
KW - software synthesis
VL - 21
JA - IEEE Intelligent Systems
ER -
 
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
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, Nov.-Dec. 2006, doi:10.1109/MIS.2006.117
Usage of this product signifies your acceptance of the Terms of Use.