计算机应用与软件2023，Vol.40Issue(1)：30-37,8.DOI:10.3969/j.issn.1000-386x.2023.01.005
基于数据分类的循环不变式自动生成
LOOP INVARIANT AUTOMATIC GENERATION BASED ON DATA PARTITIONING
摘要
关键词
循环不变式/数据分类/软件验证/静态分析分类
信息技术与安全科学引用本文复制引用
路红,王承毅,黄皓..基于数据分类的循环不变式自动生成[J].计算机应用与软件,2023,40(1):30-37,8.基金项目
江苏省高等学校自然科学研究面上项目(18KJB520022) （18KJB520022）
江苏高校"青蓝工程"项目 （）
南京理工大学紫金学院2021年度科研项目(2021ZRKX0401002) （2021ZRKX0401002）
南京理工大学紫金学院2020年度科研项目(2020ZRKX0401001). （2020ZRKX0401001）
