Can’t find 100% of vulnerabilities, and the number of potential exploits increases with complexity of smart contracts
Find most vulnerabilities and inefficiencies
Audit of smart contract: code review and testing
Formally verified smart contract works only as intended with no vulnerabilities, no matter how complex, in line with the formal specification
Verification of the code against the formal specifications
Development of readable specifications
Detailed reports that can be independently verified
Formal verification of smart contract