Ten commandments revisited

Jonathan P. Bowen, Michael G. Hinchey
2005 Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05  
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
more » ... 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.
doi:10.1145/1081180.1081183 fatcat:55enuoxeabaojdjjrk7l7wxu6a