Ten commandments of formal methods… Ten years on

Jonathan P. Bowen, Mike Hinchey

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-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 languageEnglish
Title of host publicationConquering Complexity
PublisherSpringer-Verlag London Ltd
Pages237-251
Number of pages15
ISBN (Electronic)9781447122975
ISBN (Print)9781447122968
DOIs
Publication statusPublished - 1 Jan 2012

Fingerprint

Dive into the research topics of 'Ten commandments of formal methods… Ten years on'. Together they form a unique fingerprint.

Cite this