聚类工具

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