Formal Verification of Smart Contract Based on Timed Colored Petri Net.
Yaqiong HeHanjie DongRunliu WangHuaiguang WuPublished in: ICNCC (2022)
Keyphrases
- formal verification
- colored petri nets
- petri net
- model checking
- bounded model checking
- model checker
- web services
- symbolic model checking
- automated verification
- supply chain
- program slicing
- knowledge base
- temporal logic
- functional verification
- timed automata
- smart grid
- smart environments
- graph theory
- ambient intelligence