|
已选(0)清除
条数/页： 排序方式：
|
| 时间Büchi自动机LTL性质的多核模型检测工具的实现与改进 学位论文
硕士, 北京: 中国科学院大学, 2018
作者: 赵威
  收藏 | 浏览/下载：25/0 | 提交时间：2018/06/21 |
| 基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏 | 浏览/下载：16/0 | 提交时间：2012/06/13
|
| 构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏 | 浏览/下载：20/0 | 提交时间：2010/06/08
|
| 带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏 | 浏览/下载：13/0 | 提交时间：2010/06/08
|
| 基于SAT的LTL限界模型检测与验证 学位论文
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
杜金秀
收藏 | 浏览/下载：18/0 | 提交时间：2009/06/12 |
| 时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
魏绪凯
收藏 | 浏览/下载：16/0 | 提交时间：2009/06/14 |
| 限界模型检测方法及其应用 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：8/0 | 提交时间：2009/06/11
|
| 实时系统非空性模型检测工具及技术 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
彭云全
收藏 | 浏览/下载：7/0 | 提交时间：2011/03/17
|
| Intuitionistic Linear-time µ-Calculus 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
Syed Asad Raza Kazmi
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
| Büchi自动机状态空间的化简 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
易锦
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17
|
