投影时序逻辑在系统建模中的应用

• 作者: 段振华 舒新峰
• 来源期刊: 西北大学学报（自然科学版）
• 学科: 工学
• 关键词: 投影时序逻辑 系统建模 形式化验证
• 年，卷（期）: 2010,（3）
• 页码范围: 410-414
• 分类号: TP301
• 字数: 5132字
• 语种: 中文

摘要

目的 为了解决形式化验证时需要分别使用不同工具进行系统建模和性质描述的问题.方法 利用投影时序逻辑PTL(projection temporal logic)在同一逻辑框架内完成待验证系统的建模和性质的描述.结果 对PTL投影操作符的特点和用途进行了详细分析,并结合实例展示了PTL系统建模的使用.结论 PTL具备强大的表达能力,可广泛的应用于各类软硬件系统的验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0
2	舒新峰	西安电子科技大学计算理论与技术研究所	3	11	2.0	3.0