Ten commandments of formal methods... Ten years later

Jonathan P. Bowen; Michael G. Hinchey

doi:10.1109/MC.2006.35

Ten commandments of formal methods... Ten years later

Research output: Contribution to specialist publication › Article

Abstract

How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.

Original language	English
Pages	40-48
Number of pages	9
Volume	39
No.	1
Specialist publication	Computer
DOIs	https://doi.org/10.1109/MC.2006.35
Publication status	Published - Jan 2006
Externally published	Yes

Access to Document

10.1109/MC.2006.35

Cite this

@misc{6101e3ee00924016b804d6bf8b36a647,

title = "Ten commandments of formal methods... Ten years later",

abstract = "How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.",

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

year = "2006",

month = jan,

doi = "10.1109/MC.2006.35",

language = "English",

volume = "39",

pages = "40--48",

journal = "Computer",

issn = "0018-9162",

}

TY - GEN

T1 - Ten commandments of formal methods... Ten years later

AU - Bowen, Jonathan P.

AU - Hinchey, Michael G.

PY - 2006/1

Y1 - 2006/1

N2 - How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.

AB - How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.

UR - http://www.scopus.com/inward/record.url?scp=31944441193&partnerID=8YFLogxK

U2 - 10.1109/MC.2006.35

DO - 10.1109/MC.2006.35

M3 - Article

AN - SCOPUS:31944441193

SN - 0018-9162

VL - 39

SP - 40

EP - 48

JO - Computer

JF - Computer

ER -

Ten commandments of formal methods... Ten years later

Abstract

Access to Document

Other files and links

Cite this