Formal methods are techniques that are used to analyse a program and mathematically prove that it it is correct.
There are a number of scenarios where it becomes necessary to prove that there are no faults an a particular piece of software.
- Nuclear powerplants
- Life support equipment
- Embedded systems