Seven Myths of Formal Methods September/October 1990 (vol. 7 no. 5) pp. 11-19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.57887
Seven widely held conceptions about formal methods are challenged. These beliefs are variants of the following: formal methods can guarantee that software is perfect; they work by proving that the programs are correct; only highly critical systems benefit from their use; they involve complex mathematics; they increase the cost of development; they are incomprehensible to clients; and nobody uses them for real projects. The arguments are based on the author's experiences. They address the bounds of formal methods, identify the central role of specifications in the development process, and cover education and training.
Index Terms:
formal methods; highly critical systems; complex mathematics; specifications; development process; education; training; formal specification
Citation:
Anthony Hall, "Seven Myths of Formal Methods," IEEE Software, vol. 7, no. 5, pp. 11-19, Sep./Oct. 1990, doi:10.1109/52.57887 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb