Programmer's Wiki
Advertisement

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
Advertisement