Formal Verification of Atomicity Requirements for Smart Contracts.

Ning Han Ximeng Li Guohui Wang Zhiping Shi Yong Guan

Published in: APLAS (2020)

Keyphrases

formal verification
model checking
bounded model checking
model checker
symbolic model checking
automated verification
functional verification
electronic commerce
supply chain
query optimization
distributed databases
acid properties
program slicing