formal method

Formal methods are a kind of mathematically techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.