Formal verification of atomicity requirements for smart contracts

DOI10.1007/978-3-030-64437-6_3zbMath1476.68148OpenAlexW3110179497MaRDI QIDQ2038066

Yong Guan, Zhiping Shi, Ning Han, Guo-hui Wang, Ximeng Li

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-64437-6_3

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Contract theory (moral hazard, adverse selection) (91B41)

This page was built for publication: Formal verification of atomicity requirements for smart contracts