Seven more myths of formal methods
- 1 July 1995
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 12 (4) , 34-41
- https://doi.org/10.1109/52.391826
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. The myths include: formal methods delay the development process; they lack tools; they replace traditional engineering design methods; they only apply to software; are unnecessary; not supported; and formal methods people always use formal methods.Keywords
This publication has 6 references indexed in Scilit:
- Formal methods in safety-critical standardsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Software's Chronic CrisisScientific American, 1994
- Experience with formal methods in critical systemsIEEE Software, 1994
- Safety-critical systems, formal methods and standardsSoftware Engineering Journal, 1993
- Integrated Structured Analysis and Formal Specification TechniquesThe Computer Journal, 1992
- Seven myths of formal methodsIEEE Software, 1990