Verification of the MDG Components Library in HOL (1998)

by Paul Curzon , Sofiène Tahar , Otmane Aït Mohamed
Citations:7 - 6 self

Active Bibliography

3 COMPARING HOL AND MDG: A CASE STUDY ON THE VERIFICATION OF AN ATM SWITCH FABRIC – Sofiene Tahar , Paul Curzon - 1998
3 A Comparison of MDG and HOL for Hardware Verification – Sofiène Tahar, Paul Curzon - 1996
1 Integration of HOL and MDG for hardware verification – Vijay Kumar Pisini, Concordia University - 1999
1 Three Approaches to Hardware Verification: HOL, MDG and VIS Compared – Sofiene Tahar, Paul Curzon, Jianping Lu
Specifications of the ATM Switch Fabric in Coq – Line Jakubiec - 1997
Providing a Formal Linkage between MDG Verification System and HOL Proof System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2003
17 Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS – Jianping Lu, Sofiène Tahar - 1998
Model Checking of the Fairisle ATM Switch – Jianping Lu, Dan Voicu, Sofiène Tahar, Xiaoyu Song - 1998
5 Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration – Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny - 1996
2 Providing a Formal Linkage between MDG and HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2002
Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric – Paul Curzon , Sofiène Tahar , Jianping Lu - 1999
2 Modeling and Automatic Formal Verification of the Fairisle ATM Switch Fabric Using MDGs – Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin - 1997
1 MDG Tools for the Verification of RTL Designs – Zhou Song, Z. Zhou, X. Song, F. Corella, M. Langevin, E. Cerny, S. Tahar - 1996
Formally Linking MDG and HOL Based on a Verified MDG System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford, Ann Bl
2 Embedding and Verification of an MDG-HDL Translator in HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford, So ene Tahar, Ann Bl
14 Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs – Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin - 1996
8 Hierarchical Verification Using an MDG-HOL Hybrid Tool – Iskander Kort, Sofiène Tahar, Paul Curzon
Representation and Validation of Mechanically Generated Proofs Final Report – Michael J. C. Gordon
Checking Proofs from Linked Tools – Paul Curzon Y, Wai Wong Z