Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. In 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2021, Bayonne, France, October 27-29, 2021. pages 69-74, IEEE, 2021. [doi]
Abstract is missing.