Seven More Myths of Formal Methods

Jonathan P. Bowen, Michael G. Hinchey

Research output: Contribution to journalArticlepeer-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 languageEnglish
Pages (from-to)34-41
Number of pages8
JournalIEEE Software
Volume12
Issue number4
DOIs
Publication statusPublished - Jul 1995
Externally publishedYes

Fingerprint

Dive into the research topics of 'Seven More Myths of Formal Methods'. Together they form a unique fingerprint.

Cite this