计算机技术与发展2019，Vol.29Issue(5)：62-65,69,5.DOI:10.3969/j.issn.1673-629X.2019.05.013
多值可能性模型检测器的设计与实现
Design and Realization of Multi-valued Model Checker
摘要
关键词
模型检测/多值可能性/Kripke结构/自动验证/模型检测器分类
信息技术与安全科学引用本文复制引用
洪云端,李永明..多值可能性模型检测器的设计与实现[J].计算机技术与发展,2019,29(5):62-65,69,5.基金项目
国家自然科学基金(11671244) （11671244）
