A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking (2003)

Cached

Download Links

by Rabeb Mizouni

Active Bibliography

1 Integration of HOL and MDG for hardware verification – Vijay Kumar Pisini, Concordia University - 1999
8 Hierarchical Verification Using an MDG-HOL Hybrid Tool – Iskander Kort, Sofiène Tahar, Paul Curzon
3 Formal Verification of ASM Designs Using the MDG Tool – Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter - 2003
2 Providing a Formal Linkage between MDG and HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2002
3 On the Modeling and Verification of a Telecom System Block Using MDGs – M. Hasan Zobair, Sofiène Tahar - 2000
3 COMPARING HOL AND MDG: A CASE STUDY ON THE VERIFICATION OF AN ATM SWITCH FABRIC – Sofiene Tahar , Paul Curzon - 1998
Providing a Formal Linkage between MDG Verification System and HOL Proof System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2003
Formally Linking MDG and HOL Based on a Verified MDG System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford, Ann Bl
2 Formal Hardware Verification by Integrating HOL and MDG – V.K. Pisini, S. Tahar, P. Curzon, O. Ait-Mohamed, X. Song - 2000
Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric – Paul Curzon , Sofiène Tahar , Jianping Lu - 1999
4 Tracking Design Changes with Formal Verification – Paul Curzon - 1994
Specifications of the ATM Switch Fabric in Coq – Line Jakubiec - 1997
1 Three Approaches to Hardware Verification: HOL, MDG and VIS Compared – Sofiene Tahar, Paul Curzon, Jianping Lu
32 Model checking for abstract state machines – Kirsten Winter - 1997
3 Model Checking with Abstract Types – Kirsten Winter - 2001
1 Combining Advanced Formal Hardware Verification Techniques – Erik Henry Reeber, Warren A. Hunt, E. Allen Emerson, Stephen W. Keckler, J Strother Moore, Anna Slobodova, Erik Henry Reeber - 2007
13 Certifying Compositional Model Checking Algorithms in ACL2 – Sandip Ray, John Matthews, Mark Tuttle
3 A Comparison of MDG and HOL for Hardware Verification – Sofiène Tahar, Paul Curzon - 1996
3 Importing MDG Verification Results into HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar