|
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
|
|
2
|
Providing a Formal Linkage between MDG and HOL
– Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
- 2002
|
|
|
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
|
|
17
|
Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS
– Jianping Lu, Sofiène Tahar
- 1998
|
|
|
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
|
|
|
Importing the Results of Automatic Hardware Verification into HOL
– Haiyan Xiong, Paul Curzon, Sofiene Tahar
- 1999
|
