Formal verification is a method that provides the highest level of confidence that smart contract code is secure