时态逻辑形式化描述并发系统性质 (2004年)

【文件属性】：

文件名称：时态逻辑形式化描述并发系统性质 (2004年)

文件大小：560KB

文件格式：PDF

更新时间：2024-06-06 17:32:42

工程技术 论文

摘要：时态逻辑是一种描述反应式（并发）系统中状态迁移序列的形式化方法，用于刻画并发系统所需验证的性质，是模型检测的基础．阐述了时态逻辑ＣＴＬ倡及其子逻辑ＣＴＬ、