This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Invitation to Formal Methods
April 1996 (vol. 29 no. 4)
pp. 16-17

One of the most challenging tasks in software system design is to assure reliability, especially as these systems are increasingly used in sensitive and often life-critical environments such as medical systems, air traffic control, and space applications. Many claim that formal methods not only provide assurance of reliability but also have the potential to reduce costs. Although the literature contains many excellent examples of applications of formal methods for large, critical, or even business transaction systems, a large percentage of practitioners see formal methods as irrelevant to their daily work. Why? This roundtable brings together some preeminent experts in the field, asking them to address the question "What is hindering the use of formal methods in industry?"

Citation:
Hossein Saiedian, "An Invitation to Formal Methods," Computer, vol. 29, no. 4, pp. 16-17, April 1996, doi:10.1109/MC.1996.488298
Usage of this product signifies your acceptance of the Terms of Use.