Formal Methods: Promises and Problems
Goguen, Joseph A.
MetadataShow full item record
Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.
IEEE Software, Vol. 14, No. 1, pp. 73-85.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.