Runtime Verification of Ethereum Smart Contracts Based on MSVL

Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang. Runtime Verification of Ethereum Smart Contracts Based on MSVL. In Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Volume 12723 of Lecture Notes in Computer Science, pages 142-153, Springer, 2020. [doi]

Abstract

Abstract is missing.