手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
时态逻辑形式化描述并发系统性质
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.
手机阅读本文
下载APP 手机查看本文
海军工程大学学报
2004年05期
相似文献
图书推荐
相关工具书

搜 索