Formal verification facts for kids
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.
See also
In Spanish: Verificación formal para niños
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise. Cite this article:
Formal verification Facts for Kids. Kiddle Encyclopedia.