SolCMC: Solidity Compiler's Model Checker.

Leonardo Alt, Martin Blicha, Antti E. J. Hyvrinen, Natasha Sharygina

Browse the full CAV paper archive.