Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric (1999)

by Paul Curzon , Sofiène Tahar , Jianping Lu

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 Three Approaches to Hardware Verification: HOL, MDG and VIS Compared – Sofiene Tahar, Paul Curzon, Jianping Lu
Model Checking of the Fairisle ATM Switch – Jianping Lu, Dan Voicu, Sofiène Tahar, Xiaoyu Song - 1998
17 Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS – Jianping Lu, Sofiène Tahar - 1998
1 Integration of HOL and MDG for hardware verification – Vijay Kumar Pisini, Concordia University - 1999
1 The Impact of Design Changes on Verification Using MDGs – M. Hasan Zobair, Sofiène Tahar, Paul Curzon - 1999
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
14 Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs – Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin - 1996
3 On the Modeling and Verification of a Telecom System Block Using MDGs – M. Hasan Zobair, Sofiène Tahar - 2000
Specifications of the ATM Switch Fabric in Coq – Line Jakubiec - 1997
8 Experiences formally verifying a network component – Paul Curzon - 1994
A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking – Rabeb Mizouni - 2003
4 Model Checking of the Fairisle ATM Switch Fabric Using FormalCheck – Leila Barakatain, Sofiène Tahar - 1999
GLS-VLSI96 Draft dated of 30.4.01 Design and Verification of an ATM Knockout Switch Concentrator – Jianping Lu, Sofiène Tahar - 2001
2 Formal Hardware Verification by Integrating HOL and MDG – V.K. Pisini, S. Tahar, P. Curzon, O. Ait-Mohamed, X. Song - 2000
4 Tracking Design Changes with Formal Verification – Paul Curzon - 1994
3 Formal Verification of ASM Designs Using the MDG Tool – Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter - 2003
3 Formal Methods in VLSI System Design – Adnan Aziz - 1996