Exploring the formal verification built into the Solidity compiler(aon.com)

https://www.aon.com/cyber-solutions/aon_cyber_labs/exploring-soliditys-model-checker/