Formal methods are techniques that are used to analyse a program and mathematically prove that it it is correct.

Applications

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