Abstract
The use of formal methods is fraught with difficulties, any one of which could cause the downfall of a project depending on their use. The paper enumerates a number of pitfalls which should be avoided in order to help make sure a formal methods project is successful. Formal methods should not be applied merely as a means of demonstrating one's ability, nor to satisfy company whim, or as a result of peer pressure.
| Original language | English |
|---|---|
| Pages (from-to) | 4/1-4/3 |
| Journal | IEE Colloquium (Digest) |
| Issue number | 109 |
| Publication status | Published - 1995 |
| Externally published | Yes |
| Event | IEE Computing and Control Division Colloquium on Practical Application of Formal Methods - London, UK Duration: 19 May 1995 → 19 May 1995 |