Formal verification of smart contract
Detailed reports that can be independently verified
Development of readable specifications
Verification of the code against the formal specifications - proving that smart contract is 100% correct against formulated specification
Audit of smart contract: code review and testing
Find most vulnerabilities and inefficiencies