Ten commandments revisited: A ten-year perspective on the industrial application of formal methods

Jonathan P. Bowen, Michael G. Hinchey

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Ten years ago, our 1995 paper Ten Commandments of Formal Methods [5] suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books [17],[18]. The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses. However, not all have agreed with some of our commandments, feeling that they may not be valid in the long-term. We re-examine the original commandments ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences.

Original languageEnglish
Title of host publicationFMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Pages8-16
Number of pages9
Publication statusPublished - 2005
Externally publishedYes
EventFMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems - Lisbon, Portugal
Duration: 5 Sep 20056 Sep 2005

Publication series

NameFMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

Conference

ConferenceFMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems
Country/TerritoryPortugal
CityLisbon
Period5/09/056/09/05

Keywords

  • Correctness
  • Formal methods
  • Industrial application
  • Software engineering

Fingerprint

Dive into the research topics of 'Ten commandments revisited: A ten-year perspective on the industrial application of formal methods'. Together they form a unique fingerprint.

Cite this