Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.

Ikram Garfatta, Kas Klai, Mahamed Graet, Walid Gaaloul

Browse the full ICSOC paper archive.