Formal verification

act of proving or disproving the correctness of intended algorithms
(Redirected from Program verification)

Formal verification is the process used to prove that a piece of software or hardware works according to its specification. Formal verification uses a mathematical proof. Systems such as those used in robots, or airplanes need to be proved correct, before they can be used.