Seven More Myths of Formal Methods
Taken from the paper by J.P. Bowen and M.G. Hinchey,
to appear in IEEE Software.
-
FM delay the development process
-
FM are not supported by
tools
-
Using FM means forsaking traditional engineering design methods
-
FM apply only to software (i.e., not to hardware)
-
FM are not required
-
FM are not supported (by professional/technical organizations)
-
FM people always use FM