DocumentCode
2735107
Title
The use of industrial-strength formal methods
Author
Bowen, Jonathan P. ; Hinchey, Michael G.
Author_Institution
Dept. of Comput. Sci., Reading Univ., UK
fYear
1997
fDate
11-15 Aug 1997
Firstpage
332
Lastpage
337
Abstract
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still be considered a niche market, there is growing evidence that they can be used successfully in industry if applied judiciously. The paper discusses same of the issues concerning the successful application of formal methods and surveys a number of examples of industrial usage, with a large bibliography for further reading on the state of the art in this area
Keywords
formal specification; formal verification; industrial-strength formal methods; Application software; Automatic control; Books; Computational Intelligence Society; Computer science; Floods; Laboratories; Storms; Surge protection; Technology transfer;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location
Washington, DC
ISSN
0730-3157
Print_ISBN
0-8186-8105-5
Type
conf
DOI
10.1109/CMPSAC.1997.624973
Filename
624973
Link To Document