Abstract
New myths about formal methods are gaining tacit acceptance both outside and inside the system-development community. The authors address and dispel these myths based on their observations of industrial projects.
Original language | English |
---|---|
Pages (from-to) | 34-41 |
Number of pages | 8 |
Journal | IEEE Software |
Volume | 12 |
Issue number | 4 |
DOIs | |
Publication status | Published - Jul 1995 |
Externally published | Yes |