Page 124 - 《软件学报》2025年第9期

王小兵 等: Solidity 到 MSVL 转换的等价性研究 4035

王小兵(1979－), 男, 博士, 副教授, 博士生导师, 杨潇钰(1999－), 女, 硕士, 主要研究领域为形式
CCF 高级会员, 主要研究领域为形式化方法, 形 化方法, 形式化验证, 时序逻辑.
式化验证, 时序逻辑.

常家俊(1999－), 男, 硕士生, CCF 学生会员, 主 赵亮(1984－), 男, 博士, 副教授, CCF 专业会员,
要研究领域为形式化方法, 形式化验证, 时序 主要研究领域为形式化方法, 形式化验证, 时序
逻辑. 逻辑.

李春奕(1996－), 女, 博士生, 主要研究领域为形

式化方法, 形式化验证, 时序逻辑.