Formal verification
act of proving or disproving the correctness of intended algorithms From Wikipedia, the free encyclopedia
Remove ads
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.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads