Exploring the formal verification built into the Solidity compilerhttps://www.aon.com/cyber-solutions/aon_cyber_labs/exploring-soliditys-model-checker/ by e79 • 6 years ago 9 0 6 years agoAOaon.com