QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 带时间约束的LTL性质的模型检测的实现 期刊论文 计算机工程与设计, 2011, 期号: 2, 页码: 564-567 部德振 收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10 时间自动机  模型检测  线性时序逻辑性质  时间约束  空性检测   带时间约束的LTL公式的模型检测技术及工具实现 学位论文 硕士, 北京: 中国科学院研究生院, 2010 部德振 收藏  |  浏览/下载：13/0  |  提交时间：2010/06/08 实时系统  时间自动机  时间约束  LTL性质  模型检测   时间自动机的LTL性质模型检测研究 期刊论文 计算机仿真, 2009, 卷号: 26, 期号: 5 彭云全; 魏绪凯; 李广元 收藏  |  浏览/下载：5/0  |  提交时间：2010/08/26 时间自动机  模型检测  线性时序逻辑性质  二叉决策图共享存储   一种基于离散时间自动机的LTL性质检测工具 期刊论文 计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全 收藏  |  浏览/下载：56/2  |  提交时间：2011/06/10 离散时间自动机  非空性检测  线性时序逻辑性质  时间自动机  检测工具  Timed Automata  状态空间爆炸  线性时序逻辑  利用模型  指数增长  压缩存储  性质验证  系统规模  时间空间  检测效果  检测速度  检测过程  检测方法  存储延迟  效率  算法  实验  技术   一种基于LTL性质的面向对象并发程序切片方法 期刊论文 2008, 卷号: 28, 期号: 5, 页码: 1300 作者:  戎玫[1];  何志学[2];  张广泉[2,3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/10 程序切片  线性时序逻辑性质  并发程序  程序验证