A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.

Ikram Garfatta Kaïs Klai Mohamed Graïet Walid Gaaloul

Published in: WETICE (2021)

Keyphrases

formal verification
coloured petri nets
model checking
model checker
automated verification
petri net
bounded model checking
supply chain
program slicing
temporal logic
symbolic model checking
smart environments
functional verification
real valued
smart grid