Formal verification is a way to prove that a system fulfills certain precise requirements with mathematical methods. Read more about formal verification here.