Assessment of the Use of Formal Methods
Formal methods is a body of mathematically-based techniques, often
supported by reasoning tools, that offers rigorous ways to model,
design, and analyze systems. The purpose of an independent study of
twelve cases of application of formal methods in industry is to inform
industry and government for deliberations on standards and
regulations, to provide an authoritative record on the practical
experience of formal methods to date, and to provide pointers to future
needs and requirements for research and technology transfer.
Craigen, Dan, Susan Gerhart, and Ted Ralston, "An International
Survey of Industrial Applications of Formal Methods," Volume 1 Purpose,
Approach, Analysis and Conclusions (Postscript, Text); Volume 2 Case Studies (Postscript, Text) NIST GCR 93/626, March 1993.