Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach.

Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul

Browse the full SAC paper archive.