Model Checking of Solidity Smart Contracts Adopted for Business Processes.

Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul

Browse the full ICSOC paper archive.