Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling.

Pedro Antonino, A. W. Roscoe

Browse the full SAC paper archive.