Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel. Compositional Verification of Smart Contracts Through Communication Abstraction. In Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi, editors, Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Volume 12913 of Lecture Notes in Computer Science, pages 429-452, Springer, 2021. [doi]
Abstract is missing.