A look into formal verification of smart contracts using Certora
A personal overview of how smart contract formal verification works using Certora.
Tags: ethereum, formalverification, smartcontracts