kids encyclopedia robot

Formal verification facts for kids

Kids Encyclopedia Facts

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.

kids search engine
Formal verification Facts for Kids. Kiddle Encyclopedia.