Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.

Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong

Browse the full ICFEM paper archive.