Introduction to Formal Methods for Software Engineering
Trevor King · Measurement and Control · 1993
This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly. Finally the benefits and limitations of formal methods are summarized.