A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.

Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul

Browse the full WETICE paper archive.