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

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

帮助

条数/页：排序方式：
	基于反例制导抽象精化的安全性验证学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2016 王伟锋 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2016/05/31 模型检测反例制导抽象精化安全性时间自动机 Horn子句
	基于余代数的模型检测和定理证明学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2013 高建华 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2013/05/30 模型检测定理证明下推系统相继式演算余归纳模型最小化子句范式化
	一种基于SAT的运算电路查错方法期刊论文 OAI收割计算机学报, 2007, 期号: 12, 页码: 2082—2089 作者: 张健; 陈云霁; 胡伟武; 沈海华 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2010/10/21 形式验证模型检验 Sat E-cnf 标志子句
	一种基于SAT的运算电路查错方法期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 12, 页码: 2082-2089 陈云霁; 张健; 沈海华; 胡伟武 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2010/08/11 形式验证模型检验 SAT E-CNF 标志子句
	一种基于SAT的运算电路查错方法期刊论文 OAI收割计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082 作者: 陈云霁; 张健; 沈海华; 胡伟武 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 形式验证模型检验 SAT E—CNF 标志子句
	知识库更新的一种可编程实现的方法期刊论文 OAI收割中国科学E辑, 2005, 卷号: 35, 期号: 8, 页码: 785-797 栾尚敏; 戴国忠; 李未 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/06/01 知识库知识库更新子句规则