Formal verification

From Wikipedia, the free encyclopedia
(Redirected from Program verification)
Jump to navigation Jump to search

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.