On Verification of Smart Contracts via Model Checking.

Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao

Browse the full TASE paper archive.