Skip to main content

Solidifer: bounded model checking Solidity using lazy contract deployment and precise memory modelling

Pedro Antonino and A.W. Roscoe

Journal
Symposium on Applied Computing (SAC) 2021
Year
2021