|
Published Articles >> Table of Contents >> Abstract
COMPSAC '97 - 21st International Computer Software and Applications Conference
p. 332
The use of industrial-strength formal methods
J.P. Bowen, Dept. of Comput. Sci., Reading Univ., UK
M.G. Hinchey, Dept. of Comput. Sci., Reading Univ., UK
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1997.624973
Send link to a friend
| 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.
|
 Additional Information
|
Index Terms- formal specification; industrial-strength formal methods
Citation:
J.P. Bowen, M.G. Hinchey,
"The use of industrial-strength formal methods,"
compsac,
p. 332,
COMPSAC '97 - 21st International Computer Software and Applications Conference,
1997
|
|
