About this document
Summary of Formal Methods in SE by EDDY MUKETE is a document available to read on EtoBox.
This document provides an overview of formal methods in software engineering. It discusses uses of formal methods including specification, development, and verification. Applications include critical systems like air traffic control. Formal methods can improve quality by revealing flaws and determining correctness, but they are time consuming and require extensive training. The document recommends applying formal methods to critical components first to make their use more cost-effective.
- Author
- EDDY MUKETE
- Language
- EN