Formal 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.