文件名称：投影时序逻辑在系统建模中的应用 (2010年)
文件大小：376KB
文件格式：PDF
更新时间：2024-05-26 10:53:32
自然科学 论文
目的 为了解决形式化验证时需要分别使用不同工具进行系统建模和性质描述的问题。方法 利用投影时序逻辑PTL（projection temporal logic）在同一逻辑框架内完成待验证系统的建模和性质的描述。结果 对PTL投影操作符的特点和用途进行了详细分析，并结合实例展示了PTL系统建模的使用。结论 PTL具备强大的表达能力，可广泛的应用于各类软硬件系统的验证。