On Verification of Smart Contracts via Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao. On Verification of Smart Contracts via Model Checking. In Yamine Aït Ameur, Florin Craciun, editors, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings. Volume 13299 of Lecture Notes in Computer Science, pages 92-112, Springer, 2022. [doi]

This author has not been identified. Look up 'Yulong Bao' in GoogleThis author has not been identified. Look up 'Xue-Yang Zhu' in GoogleThis author has not been identified. Look up 'Wenhui Zhang' in GoogleThis author has not been identified. Look up 'Wuwei Shen' in GoogleThis author has not been identified. Look up 'Pengfei Sun' in GoogleThis author has not been identified. Look up 'Yingqi Zhao' in Google

runs on WebDSL