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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Publication Year: 1995
Publication Date: 1995-07-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 291
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot