中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	以状态子集为中心的并行模型检测技术研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 张营飞 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2016/07/01 LTL模型检测图计算状态子图
	时间自动机模拟器CTAV-Simulator的设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2014 喻灵婧 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2014/05/30 实时系统时间自动机时间Büchi自动机模型检测时序逻辑LTL 模拟器
	具体反例生成与图形化显示系统期刊论文 OAI收割计算机系统应用, 2013, 期号: 11, 页码: 51-57 信贤卫 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2014/12/16 时间自动机模型检测 LTL性质反例生成模拟器 timed automata model checking LTL properties counterexample generation simulator
	带时间约束的LTL公式的模型检测技术及工具实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 部德振 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/06/08 实时系统时间自动机时间约束 LTL性质模型检测
	对时间自动机进行空性检测的过程和改进期刊论文 OAI收割计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯收藏 \| 浏览/下载：21/0 \| 提交时间：2011/05/23 时间自动机模型检测符号化方法抽象方法空性检测 LTL性质timed automata model checking symbolic method abstraction emptiness checking LTL
	Büchi自动机状态空间的化简学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 易锦收藏 \| 浏览/下载：16/0 \| 提交时间：2011/03/17 模型检测状态爆炸 LTL Büchi自动机公平模拟
	结合搜索空间划分和抽象进行LTL模型检测期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/07/01 搜索空间划分求精抽象 LTL模型检测应用模型状态空间爆炸方法空间复杂度逐步求精数值实验检测工业系统障碍验证效率消减内存
	从基于迁移的扩展Büchi自动机到Büchi自动机期刊论文 OAI收割软件学报, 2006, 卷号: 17, 期号: 4 易锦; 张文辉 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/24 模型检测 Büchi自动机 LTL(lineartemporallogic)公式 TGBA(transition-basedgeneralizedBüchiautomaton)