Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro. ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. In 44th 2022 IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022. pages 65-69, IEEE, 2022. [doi]
Abstract is missing.