What is Formal Verification?

Formal verification refers to mathematically proving and verifying a smart contract to ensure that it will function as intended. The use of mathematical functions to build the software allows for the mathematical verification of new code before it is added. Formal verification is a cornerstone of cryptography.