软件理论基础——第四章时态逻辑
摘要：
4.1线性时态逻辑系统LTL 定义4.1.1 LTL公式的定义 {~,∧}{~，∨}{~，->} pure future formates 与之对应的有pure past formaces T，什么意思？ 定义4.1.2 迁移系统的定义 迁移关系是S上的连续关系（连续关系是指有出边） 定义4.1.3 阅读全文
posted @ 2019-04-14 17:45 Pusteblume2018 阅读(1356) 评论(0) 推荐(0) 编辑
