Page 33 - 《软件学报》2020年第12期

赵世忠 等:循环迭代程序的一种可信计算算法 3699

[6] 赵世忠.二元运算的错数.中国科技论文在线.2019. http://www.paper.edu.cn/releasepaper/content/201910-3
[7] 赵世忠.算术表达式的一种可信计算算法及其软件 ISReal.中国科学:信息科学,2016,46(6):698−713.

赵世忠(1968－),男,博士,讲师,CCF 专业 刘静 (1964－ ), 女 ,博士 ,教授 , 博 士生导
会员 , 主要 研究 领域为 可信 计 算 , 符号 师,CCF 专业会员,主要研究领域为软件模
计算. 型,形式化方法,可信软件.

陈冬火(1974－),男,博士,讲师,CCF 专业
会员,主要研究领域为程序验证,模型检
验,机器学习.