TY - GEN
T1 - Ten commandments revisited
T2 - FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems
AU - Bowen, Jonathan P.
AU - Hinchey, Michael G.
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
KW - Correctness
KW - Formal methods
KW - Industrial application
KW - Software engineering
UR - http://www.scopus.com/inward/record.url?scp=31944451187&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:31944451187
SN - 1595931481
SN - 9781595931481
T3 - FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
SP - 8
EP - 16
BT - FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Y2 - 5 September 2005 through 6 September 2005
ER -