2021 AISC – A Survey on Formal Verification for Solidity Smart Contracts

Ikram Garfatta

Ikram Garfatta: I am currently a PhD student under a joint supervision between the National Engineering School of Tunis in Tunisia and the University Sorbonne Paris Nord in France. My thesis focuses on the formal verification of smart contracts as a means to achieve correct Blockchain-based business processes.