Formal methods

In computer science, the term formal methods refers to a variety of natural sciences and engineering techniques for modeling and rigorous verification of computer systems. Formal methods are generally based on the use of mathematical logic.

The role of formal methods in software engineering and in industrial practice is currently controversial.