It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.
Formal Methods in Software Engineering: Home
In software engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems