聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 基于时态逻辑的扩充状态转换模型
出处:1998年计算机专题学术会议
摘要:基于模型和基于逻辑的方法是并发系统形式化描述的两类重要方法,其典型代表分别是转换系统和时态逻辑,该... 显示全部
关键词: 时态逻辑 转换系统 扩充状态转换模型
会议论文 模型检测中状态爆炸及其优化策略研究
出处:广西计算机学会2008年年会
摘要:模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到... 显示全部
关键词: 模型检测 状态爆炸 形式验证 时态逻辑 优化策略 有限状态系统
找到2条结果
`