Seven more myths of formal methods
The work
| Authors | J. P. Bowen; M. G. Hinchey |
|---|---|
| Editors | |
| Type | article |
| Year | 1995 |
| Citekey | bowen1995seven |
Where it appeared
| Published in | IEEE Software |
|---|---|
| Publisher | IEEE |
| Volume | 12 |
| Issue | 4 |
| Pages | 34--41 |
Identifiers
| DOI | 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.
How it got here
| How it got here | import via drheap-program-correctness |
|---|---|
| Added | 2026-08-24 00:00 UTC |
| Approved by | a person 2026-08-24 14:55 UTC |
Filed under
Cite it as
@article{bowen1995seven,
title = {Seven more myths of formal methods},
author = {J. P. Bowen and M. G. Hinchey},
year = {1995},
journal = {IEEE Software},
publisher = {IEEE},
volume = {12},
number = {4},
pages = {34--41},
doi = {10.1109/52.391826},
}
This record lives at https://refs.drheap.org/bowen1995seven/ and will keep doing so.