Ten commandments of formal methods… Ten years on

Jonathan P. Bowen; Mike Hinchey

doi:10.1007/978-1-4471-2297-5_11

Ten commandments of formal methods… Ten years on

Jonathan P. Bowen
, Mike Hinchey

Museophile Limited

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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
Title of host publication	Conquering Complexity
Publisher	Springer-Verlag London Ltd
Pages	237-251
Number of pages	15
ISBN (Electronic)	9781447122975
ISBN (Print)	9781447122968
DOIs	https://doi.org/10.1007/978-1-4471-2297-5_11
Publication status	Published - 1 Jan 2012

Access to Document

10.1007/978-1-4471-2297-5_11

Cite this

@inbook{b9d08278329544bab4ad77d11993f22d,

title = "Ten commandments of formal methods… Ten years on",

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 Mike Hinchey",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag London Limited 2012.",

year = "2012",

month = jan,

day = "1",

doi = "10.1007/978-1-4471-2297-5\_11",

language = "English",

isbn = "9781447122968",

pages = "237--251",

booktitle = "Conquering Complexity",

publisher = "Springer-Verlag London Ltd",

}

TY - CHAP

T1 - Ten commandments of formal methods… Ten years on

AU - Bowen, Jonathan P.

AU - Hinchey, Mike

N1 - Publisher Copyright: © Springer-Verlag London Limited 2012.

PY - 2012/1/1

Y1 - 2012/1/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 - https://www.scopus.com/pages/publications/84948768080

U2 - 10.1007/978-1-4471-2297-5_11

DO - 10.1007/978-1-4471-2297-5_11

M3 - Chapter

AN - SCOPUS:84948768080

SN - 9781447122968

SP - 237

EP - 251

BT - Conquering Complexity

PB - Springer-Verlag London Ltd

ER -

Ten commandments of formal methods… Ten years on

Abstract

Access to Document

Other files and links

Fingerprint

Cite this