Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models.

Zhen-Tian Liu, Jing Liu

Browse the full COMPSAC paper archive.