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

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

帮助

条数/页：排序方式：
	基于带赋值符号迁移图的Monte Carlo模型检测学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 马明 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2012/06/13 Monte Carlo 模型检测线性时序逻辑模型检测带赋值符号迁移图有导向的随机搜索启发式算法
	带时间约束的LTL性质的模型检测的实现期刊论文 OAI收割计算机工程与设计, 2011, 期号: 2, 页码: 564-567 部德振收藏 \| 浏览/下载：21/0 \| 提交时间：2011/10/10 时间自动机模型检测线性时序逻辑性质时间约束空性检测
	卫命令模型检测工具的设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 王绍春 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2010/06/07 模型检测，卫命令，线性时序逻辑，自动机，偏序规约，双深度优先搜索，时序滤网
	时间自动机的LTL性质模型检测研究期刊论文 OAI收割计算机仿真, 2009, 卷号: 26, 期号: 5 彭云全; 魏绪凯; 李广元 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2010/08/26 时间自动机模型检测线性时序逻辑性质二叉决策图共享存储
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：68/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	基于反例搜索的启发式模型检测算法的研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 施小纯收藏 \| 浏览/下载：18/0 \| 提交时间：2011/03/17 形式化方法模型检测线性时序逻辑遗传算法启发式信息