Seven More Myths of Formal Methods

Jonathan P. Bowen; Michael G. Hinchey

doi:10.1109/52.391826

Seven More Myths of Formal Methods

Jonathan P. Bowen
, Michael G. Hinchey

Research output: Contribution to journal › Article › peer-review

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	https://doi.org/10.1109/52.391826
Publication status	Published - Jul 1995
Externally published	Yes

Access to Document

10.1109/52.391826

Cite this

@article{ee954c7cc6ff49d8a7807c5c1292ba0a,

title = "Seven More Myths of Formal Methods",

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.",

author = "Bowen, \{Jonathan P.\} and Hinchey, \{Michael G.\}",

year = "1995",

month = jul,

doi = "10.1109/52.391826",

language = "English",

volume = "12",

pages = "34--41",

journal = "IEEE Software",

issn = "0740-7459",

number = "4",

}

TY - JOUR

T1 - Seven More Myths of Formal Methods

AU - Bowen, Jonathan P.

AU - Hinchey, Michael G.

PY - 1995/7

Y1 - 1995/7

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0029346301

U2 - 10.1109/52.391826

DO - 10.1109/52.391826

M3 - Article

AN - SCOPUS:0029346301

SN - 0740-7459

VL - 12

SP - 34

EP - 41

JO - IEEE Software

JF - IEEE Software

IS - 4

ER -

Seven More Myths of Formal Methods

Abstract

Access to Document

Other files and links

Fingerprint

Cite this