Ten Commandments of Formal Methods
The ten commandments of formal methods are:
Quoted from: Jonathon P. Bowen and Michael G. Hinchey,
Ten Commandments of Formal Methods,
IEEE Computer, 28(4):56--63, April 1995.
Thou shalt choose an appropriate notation.
By relieving the mind of all unnecessary work, a good notation sets it free
to concentrate on more advanced problems, and in effect increases the
mental power of the race.
Thou shalt formalize but not over-formalize.
Thou shalt estimate costs.
Thou shalt have a formal methods guru on call.
Thou shalt not abandon thy traditional development methods.
Thou shalt document sufficiently.
Thou shalt not compromise thy quality standards.
Thou shalt not be dogmatic.
Thou shalt test, test, and test again.
Thou shalt reuse.