formal verification is the process used to prove that a piece of software or hardware works according to its . 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.