Formal methods: promises and problems
Luqi, Joseph A. Goguen · IEEE Software · 1997
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.