赵世忠(1968-),男,博士,讲师,CCF专业会员,主要研究领域为可信计算,符号计算.
陈冬火(1974-),男,博士,讲师,CCF专业会员,主要研究领域为程序验证,模型检验,机器学习.
刘静(1964-),女,博士,教授,博士生导师,CCF专业会员,主要研究领域为软件模型,形式化方法,可信软件.
赵世忠,E-mail:szzhao@sei.ecnu.edu.cn
国家重点研发项目(2017YFB1001800);国家自然科学基金(61772203,61972150,61876034)
National Key Research and Development Program of China (2017YFB1001800); National Natural Science Foundation of China (61772203, 61972150, 61876034)
赵世忠,陈冬火,刘静.循环迭代程序的一种可信计算算法.软件学报,2020,31(12):3685-3699
复制