Formal Verification of Atomicity Requirements for Smart Contracts.

Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan

Browse the full APLAS paper archive.