Formal Verification of Solidity contracts in Event-B.

Jian Zhu Kai Hu Mamoun Filali Jean-Paul Bodeveix Jean-Pierre Talpin

Published in: CoRR (2020)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
supply chain
event detection
event driven
event recognition