The role of formal methods in software standards
K.A. Kegley · 2005
The application of formal methods offers an opportunity to enhance the integrity of software standards through several distinct roles. During the development of standards, the final representation of the standard, and testing of implementations claiming conformance to the standard, formal methods can be applied to achieve more precise and testable standards.