Formal methods

Please help develop and classify this resource

Learn how you can develop this resource to teach participants about Formal methods. Choose a subject, education level, and resource type to classify the resource by. You may learn more about the topic to help you develop and classify the resource from:

             

Formal methods are tools in the same category as the structured and object-oriented methods of software engineering. They use a formally defined language of specification to define the properties of the system that solves a given engineering problem. The languages chosen are designed around the rules of discrete mathematics and formal logic to enable mathematical proofs of correctness to be applied to the proposed solution.

Formal methods generally cost more in man-hours in the early stages of development due to the depth to which a system has to be defined but that cost can be saved in testing later in the development lifecycle as less debugging is generally required.

Formal Specification Languages

This article is issued from Wikiversity - version of the Friday, December 18, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.