西安电子科技大学学报（自然科学版）2020，Vol.47Issue(4)：39-47,9.DOI:10.19665/j.issn1001-2400.2020.04.006
一种命题投影时序逻辑的分布式模型检测方法
Propositional proj ection temporal logic based distributed model checking method
摘要
关键词
命题投影时序逻辑/模型检测/形式化验证/标记范式图/分布式计算分类
信息技术与安全科学引用本文复制引用
舒新峰,王昌太,王燕,张丽丽..一种命题投影时序逻辑的分布式模型检测方法[J].西安电子科技大学学报（自然科学版）,2020,47(4):39-47,9.基金项目
国家自然科学基金(61672403,61972301) （61672403,61972301）
陕西省重点研发计划(2020GY-210) （2020GY-210）
咸阳市科学技术研究计划(2017K01-25-8) （2017K01-25-8）
