What is Formal verification?
'''Formal verification''' is the process used to prove that a piece of [[software]] or [[Computer hardware|hardware]] works according to its [[W:Specification|specification]]. Formal verification uses a [[mathematical proof]]. Systems such as those used in [[Robot|robots]], or [[Fixed-wing aircraft|airplanes]] need to be proved correct, before they can be used. [[Category:Mathematics]]