电子学报2020，Vol.48Issue(5)：997-1002,6.DOI:10.3969/j.issn.0372-2112.2020.05.022
基于模块化Abstract-Refine算法框架的软件模型检测方法
Software Model Checking Method Based on ModularAbstract-Refine Algorithm Framework
摘要
关键词
软件模型检测/模块化方法/抽象—精炼(Abstract-Refine)/通用算法/抽象程序分类
信息技术与安全科学引用本文复制引用
王舜,杜晔,韩臻..基于模块化Abstract-Refine算法框架的软件模型检测方法[J].电子学报,2020,48(5):997-1002,6.基金项目
国家自然科学基金(No.61672092) （No.61672092）
