Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel. Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 425-449, Springer, 2022. [doi]
Abstract is missing.