Formal Verification of Smart Contracts Using Interface Automata.
Gabor MadlLuis Angel D. BathenGerman H. FloresDivyesh JadavPublished in: Blockchain (2019)
Keyphrases
- formal verification
- model checking
- model checker
- finite state
- bounded model checking
- automated verification
- cellular automata
- finite state machines
- smart objects
- user interface
- supply chain
- symbolic model checking
- smart grid
- lattice gas
- moral hazard
- temporal logic
- user friendly
- formal methods
- query interface
- functional verification