NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal MethodsTen years ago, our 1995 paper Ten Commandments of Formal Methods 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. 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.
Document ID
20050210103
Document Type
Preprint (Draft being sent to journal)
Authors
Bowen, Jonathan P. (South Bank Univ. London, United Kingdom)
Hinchey, Michael G. (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Date Acquired
September 7, 2013
Publication Date
January 1, 2005
Subject Category
Documentation and Information Science
Meeting Information
Workshop on Formal Methods for Industrially Critical Systems(Lisbon)
Distribution Limits
Public
Copyright
Public Use Permitted.

Available Downloads

NameType 20050210103.pdf STI