A Survey on Formal Verification for Solidity Smart Contracts.

Ikram Garfatta Kais Klai Walid Gaaloul Mohamed Graiet

Published in: ACSW (2021)

Keyphrases

formal verification
model checking
model checker

bounded model checking
symbolic model checking
automated verification

supply chain
functional verification
program slicing

distributed systems
smart environments