Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have