Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi. Reasoning about Smart Contracts via LTL Encoding. In Giuseppe Amato, Valentina Bartalesi, Devis Bianchini, Claudio Gennaro, Riccardo Torlone, editors, Proceedings of the 30th Italian Symposium on Advanced Database Systems, SEBD 2022, Tirrenia (PI), Italy, June 19-22, 2022. Volume 3194 of CEUR Workshop Proceedings, pages 309-316, CEUR-WS.org, 2022. [doi]
Abstract is missing.