搜索结果: 1-3 共查到“时态逻辑”相关记录3条 . 查询时间(0.077 秒)
基于时态逻辑的抽象对象规约方法
时态逻辑 形式化 谓词逻辑 抽象对象规约
2009/11/9
提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上对象系统的行为,在此方法上还可以进一步对系统进行遽态式的证。
线性时态逻辑中的特性模式
线性时态逻辑 特性模式 模型检查
2009/1/5
在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性质包括活性、安全性等;其次,按照线性时态逻辑公式的作用范围划分。通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。最后介绍了线性时态逻辑特性模式在SPIN中的应用。
...