Seven More Myths of Formal Methods

New myths about formal methods are gaining tacit acceptance both outside and inside the system-development community. The authors address and dispel these myths based on their observations of industrial projects. The myths include: formal methods delay the development process; they lack tools; they replace traditional engineering design methods; they only apply to software; are unnecessary; not supported; and formal methods people always use formal methods. >

[1]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[2]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[3]  Alan J. Dix,et al.  Formal methods for interactive systems , 1991, Computers and people series.

[4]  Robert B. France,et al.  Integrated Structured Analysis and Formal Specification Techniques , 1992, Comput. J..

[5]  Jonathan P. Bowen,et al.  Safety-critical systems, formal methods and standards , 1993, Softw. Eng. J..

[6]  Jonathan P. Bowen.  Formal methods in safety-critical standards , 1993, Proceedings 1993 Software Engineering Standards Symposium.

[7]  Dan Craigen,et al.  Experience with formal methods in critical systems , 1994, IEEE Software.

[8]  W. Wayt Gibbs,et al.  Software's Chronic Crisis , 1994 .

[9]  Jonathan P. Bowen,et al.  Applications of Formal Methods , 1995 .