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. This paper discusses some 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.
| Original language | English |
|---|---|
| Pages (from-to) | 332-337 |
| Number of pages | 6 |
| Journal | Proceedings - IEEE Computer Society's International Computer Software and Applications Conference |
| Publication status | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97 - Washington, DC, USA Duration: 13 Aug 1997 → 15 Aug 1997 |