Classification Method of Ethereum Smart Contracts Based on Statistical Model Checking. - Miaoer Li; Yi Zhu; Yali Liu; Chan Yin (QRS, 2024)