Login / Signup

EthVer: Formal Verification of Randomized Ethereum Smart Contracts.

Lukasz Mazurek
Published in: Financial Cryptography Workshops (2021)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • model checker
  • symbolic model checking
  • bounded model checking
  • supply chain
  • smart grid
  • program slicing
  • functional verification