中国海洋大学学报（自然科学版）2021，Vol.51Issue(11)：86-93,8.DOI:10.16441/j.cnki.hdxb.20200379
一种基于执行路径状态比对的科学计算程序等效性判定方法
A Method for Equivalence Checking of Scientific Programs Based on State Comparison of Execution Paths
摘要
关键词
程序等效性验证/科学计算程序/状态匹配/回归验证/语义不变的转换分类
信息技术与安全科学引用本文复制引用
曲海鹏,张敏媛,韩庆迪,林喜军..一种基于执行路径状态比对的科学计算程序等效性判定方法[J].中国海洋大学学报（自然科学版）,2021,51(11):86-93,8.基金项目
国家自然科学基金项目(41976184)资助 （41976184）
