Ten Commandments of Formal Methods
Taken from the paper by J.P. Bowen and M.G. Hinchey,
Oxford (Cambridge) Computing Lab tech report.
These are guidelines for making a project that will use
formal methods successful, based on the authors' observations
from their own work and work they have studied in industry.
-
Choose an appropriate notation
-
Formalize, but do not over-formalize
-
Estimate costs
-
Have a formal methods guru on call
-
Do not abandon your traditional development methods
-
Document sufficiently
-
Do not compromise your quality standards
-
Do not be dogmatic
-
Test, test, and test again
-
You must reuse