A framework for using formal methods in object-oriented software development
Richard C. Holt, Dennis deChampeaux · ACM SIGPLAN OOPS Messenger · 1992
Although formal methods (FMs) hold great promise for improving the process of software development, up to now these methods have had limited impact on the actual development of software. This note outlines why this is so and predicts how formal methods can be developed and evolved to become useful in practice.