A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
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  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 readingdoi:10.1145/1081180.1081183 fatcat:55enuoxeabaojdjjrk7l7wxu6a