What is Formal Verification
Formal verification compares an existing system against a specific standard relying on mathematical evidence and models. Typically, the standard is defined as the specific features and characteristics that should be respected when programming a smart contract.