Pedro Antonino, A. W. Roscoe 0001. Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, editors, SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. pages 1788-1797, ACM, 2021. [doi]
@inproceedings{Antonino021,
title = {Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling},
author = {Pedro Antonino and A. W. Roscoe 0001},
year = {2021},
doi = {10.1145/3412841.3442051},
url = {https://doi.org/10.1145/3412841.3442051},
researchr = {https://researchr.org/publication/Antonino021},
cites = {0},
citedby = {0},
pages = {1788-1797},
booktitle = {SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021},
editor = {Chih-Cheng Hung and Jiman Hong and Alessio Bechini and Eunjee Song},
publisher = {ACM},
isbn = {978-1-4503-8104-8},
}