Login / Signup

Formal Verification of Smart Contracts: Short Paper.

Karthikeyan BhargavanAntoine Delignat-LavaudCédric FournetAnitha GollamudiGeorges GonthierNadim KobeissiNatalia KulatovaAseem RastogiThomas Sibut-PinoteNikhil SwamySantiago Zanella Béguelin
Published in: PLAS@CCS (2016)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • symbolic model checking
  • automated verification
  • program slicing
  • supply chain
  • temporal logic
  • formal specification
  • software engineering