结合搜索空间划分和抽象进行LTL模型检测
文献类型:期刊论文
作者 | 蒲飞 ; 张文辉 |
刊名 | 中国科学E辑
![]() |
出版日期 | 2007 |
卷号 | 37期号:12页码:1504-1520 |
关键词 | 搜索空间划分 求精 抽象 LTL模型检测 应用模型 状态空间爆炸 方法 空间复杂度 逐步求精 数值实验 检测 工业系统 障碍 验证 效率 消减 内存 |
ISSN号 | 1006-9275 |
中文摘要 | 在应用模型检测于工业系统时, 状态空间爆炸仍然是一个主要的障碍. 基于抽象的方法在克服状态空间爆炸方面取得了很大的成功. 提出一种结合搜索空间划分和抽象的方法来降低模型检测的空间复杂度. 划分依赖于每个所分划的搜索空间的表达. 特别地, 划分可以逐步求精以获得更好的空间消减. 从数值实验看, 这种搜索空间划分和抽象的结合在基于内存的需求上能提高验证的效率, 同时能得到比单独使用其中一种方法更好的效果. |
语种 | 中文 |
公开日期 | 2011-07-01 |
源URL | [http://124.16.136.157/handle/311060/11298] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | 蒲飞,张文辉. 结合搜索空间划分和抽象进行LTL模型检测[J]. 中国科学E辑,2007,37(12):1504-1520. |
APA | 蒲飞,&张文辉.(2007).结合搜索空间划分和抽象进行LTL模型检测.中国科学E辑,37(12),1504-1520. |
MLA | 蒲飞,et al."结合搜索空间划分和抽象进行LTL模型检测".中国科学E辑 37.12(2007):1504-1520. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。