1Exploring the formal verification built into the Solidity compiler (opens in new tab)(aon.com)9e796y ago0Save