Formalizing the Transaction Flow Process of Hyperledger Fabric

von Chen, Xiangyu
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Formal Verification of Atomicity Requirements for Smart Contracts

von Han, Ning
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics

von Li, Ximeng
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)