A Survey on Formal Verification for Solidity Smart Contracts
Ikram Garfatta, Kaïs Klai, Walid Gaaloul, Mohamed Graïet
Abstract
International audience
Topics & Concepts
SolidityFormal verificationFormal methodsComputer scienceSoftware engineeringProgramming languageBlockchain Technology Applications and SecurityFinTech, Crowdfunding, Digital FinanceEthics and Social Impacts of AI