Seven Myths of Formal Methods
Taken from the paper by Anthony Hall, IEEE Software,
Sept. 1990, p. 11-19.
-
Formal methods (FM) can guarantee that software is perfect
-
FM work by proving that programs are correct
-
Only highly critical systems benefit from using FM
-
FM involve complex mathematics
-
FM increase the cost of development
-
FM are incomprehensible to clients
-
Nobody uses FM for real projects