首页> 外文OA文献 >Formal Hardware Verification by Integrating HOL and MDG

【2h】

Formal Hardware Verification by Integrating HOL and MDG

机译：通过集成HOL和MDG进行正式的硬件验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
V.K. Pisini; S. Tahar; P. Curzon; O. Ait-Mohamed; X. Song;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Hybrid verification integrating HOL theorem proving with MDG model checking [J] . Rabeb Mizouni, Sofiene Tahar, Paul Curzon Microelectronics journal . 2006,第11期

机译：结合了HOL定理证明和MDG模型检查的混合验证
2. Providing a formal linkage between MDG and HOL [J] . Haiyan Xiong, Paul Curzon, Sofiene Tahar, Formal Methods in System Design . 2007,第2期

机译：在MDG和HOL之间提供正式联系
3. Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric [J] . Tahar S, Curzon P Nordic journal of computing . 1999,第4期

机译：比较HOL和MDG：以ATM交换结构验证为例
4. Formally Linking MDG and HOL Based on a Verified MDG System [C] . Haiyan Xiong, Paul Curzon, Sofiene Tahar, International Conference on Integrated Formal Methods . 2002

机译：基于验证的MDG系统正式链接MDG和HOL
5. Integration of HOL and MDG for hardware verification. [D] . Pisini, Vijay Kumar. 2000

机译：集成了HOL和MDG以进行硬件验证。
6. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks [O] . Pedro T Monteiro, Estelle Dumas, Bruno Besson, 2009

机译：一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
7. Formally Linking MDG and HOL Based on a Verified MDG System [O] . Haiyan Xiong, Paul Curzon, Sofiène Tahar, 2007

机译：基于经过验证的mDG系统正式链接mDG和HOL
8. HOL2GDT a Formal Verification-Based Design Methodology [R] . Chavan, A. , Woo Min, B. , Chin, S. 2001

机译：HOL2GDT基于形式验证的设计方法

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号