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.