Classification Method of Ethereum Smart Contracts Based on Statistical Model Checking.

Miaoer Li, Yi Zhu, Yali Liu, Chan Yin

Browse the full QRS paper archive.