Login / Signup

A Survey on Formal Verification for Solidity Smart Contracts.

Ikram GarfattaKais KlaiWalid GaaloulMohamed 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