Seven More Myths of Formal Methods


Taken from the paper by J.P. Bowen and M.G. Hinchey, to appear in IEEE Software.


  1. FM delay the development process

  2. FM are not supported by tools

  3. Using FM means forsaking traditional engineering design methods

  4. FM apply only to software (i.e., not to hardware)

  5. FM are not required

  6. FM are not supported (by professional/technical organizations)

  7. FM people always use FM