Smart contract security through formal verification
Ensuring smart contract security with the use of formal verification