Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. Model Checking of Solidity Smart Contracts Adopted for Business Processes. In Hakim Hacid, Odej Kao, Massimo Mecella, Naouel Moha, Hye-Young Paik, editors, Service-Oriented Computing - 19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 2021, Proceedings. Volume 13121 of Lecture Notes in Computer Science, pages 116-132, Springer, 2021. [doi]
Abstract is missing.