郑州大学学报（理学版）2022，Vol.54Issue(5)：1-7,7.DOI:10.13705/j.issn.1671-6841.2021338
程序求精新策略及自动验证方法研究
Research on New Strategy of Program Refinement and Automatic Verification Method
摘要
关键词
程序求精/自动验证/Isabelle定理证明器/Morgan精化规则分类
信息技术与安全科学引用本文复制引用
左正康,黄志鹏,黄箐,王渊,王昌晶..程序求精新策略及自动验证方法研究[J].郑州大学学报（理学版）,2022,54(5):1-7,7.基金项目
国家自然科学基金项目(61862033,61902162) （61862033,61902162）
江西省自然科学基金项目(20202BAB202015) （20202BAB202015）
江西省教育厅科技重点项目(GJJ210307). （GJJ210307）
