机构

• 软件研究所 [22]
• 计算技术研究所 [3]
• 自动化研究所 [2]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [28]

内容类型

• 期刊论文 [17]
• 会议论文 [10]
• 学位论文 [1]

发表日期

• 2020 [1]
• 2017 [1]
• 2016 [2]
• 2015 [1]
• 2014 [2]
• 2012 [1]
• 更多

学科主题

• Computer S... [3]
• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• 计算机软件::软件理... [1]
• 更多

筛选

浏览/检索结果: 共28条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216 作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei   |  收藏  |  浏览/下载：39/0  |  提交时间：2021/12/01 hardware formal verification  assertion generation  data mining  assertion evaluation  assertion coverage   Barrier certificates revisited 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86 作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun 收藏  |  浏览/下载：47/0  |  提交时间：2017/02/16 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares   Abstraction-Guided Simulation Using Markov Analysis for Functional Verification 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 2, 页码: 285-297 作者:  Wang, Jian;  Li, Huawei;  Lv, Tao;  Wang, Tiancheng;  Li, Xiaowei   |  收藏  |  浏览/下载：12/0  |  提交时间：2019/12/13 Abstraction-guided simulation  Markov analysis  semi-formal verification   基于Pushdown系统证明的可视化 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 周青   |  收藏  |  浏览/下载：32/0  |  提交时间：2016/06/21 deductive reasoning  formal verification  alternating pushdown system  infinite state systems   An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文  OAI收割 MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304 Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS   |  收藏  |  浏览/下载：19/0  |  提交时间：2016/12/13 Formal methods  Formal verification  Model checking  Interaction behaviors among industrial equipments   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   Formal verification of a descent guidance control program of a lunar lander 会议论文  OAI收割 19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014 Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)   |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 Lunar lander  formal verification  hybrid systems  reachable set  invariant   MOTEC:一个存储一致性模型验证工具 期刊论文  OAI收割 计算机工程, 2012, 卷号: 38, 期号: 11, 页码: 242-246 吕正; 陈昊; 陈峰; 吕毅   |  收藏  |  浏览/下载：12/0  |  提交时间：2012/11/12 multicore processor  memory consistency model  formal verification  dynamic validation  memory system  validation tool   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/03/31 CAS monitor  Spin PROMELA language  model checking  platform-virtualization software  secure hypervisor  formal verification  operating systems (computers)  security of data  virtual machines   一种基于安全状态转移的简并测试集生成方法 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547 程亮; 张阳; 冯登国   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/05/23 安全操作系统测评  形式化方法  模型检测  测试用例化简  简并测试集security operating system verification  formal method  model checking  test case optimization  degenerate test set