What is formal methods?

Formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems. Using formal methods for software and hardware design increases confidence that a system functions as intended, and can also serve as a foundation for testing and verification. They are commonly used in safety-critical systems.