Proving Existential Theorems when Importing Results from MDG to HOL (2001)

by Haiyan Xiong , Paul Curzon , Sofiène Tahar , Ann Blandford
Venue:TPHOLS 2001 SUPPLEMENTAL PROCEEDINGS, INFORMATIC RESEARCH REPORT EDI-INF-RR-0046
Citations:4 - 3 self

Active Bibliography

Formally Linking MDG and HOL Based on a Verified MDG System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford, Ann Bl
2 Providing a Formal Linkage between MDG and HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2002
Providing a Formal Linkage between MDG Verification System and HOL Proof System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2003
8 Hierarchical Verification Using an MDG-HOL Hybrid Tool – Iskander Kort, Sofiène Tahar, Paul Curzon
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
HOL-MDG: A Hybrid Tool for Formal Verification – S. Kort, S. Tahar, P. Curzon, X. Song - 2000
A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking – Rabeb Mizouni - 2003
1 A High Level Reachability Analysis using Multiway Decision Graph in the HOL Theorem Prover – Otmane Ait Mohamed, Ghiath Al Sammane
1 Integration of HOL and MDG for hardware verification – Vijay Kumar Pisini, Concordia University - 1999
Importing the Results of Automatic Hardware Verification into HOL – Haiyan Xiong, Paul Curzon, Sofiene Tahar - 1999
3 Importing MDG Verification Results into HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar
23 Combining WS1S and HOL – David Basin, Stefan Friedrich - 1998
Higher-Order Logic 4.14 Theorem Proving Systems 4.16 – unknown authors
First-Order Logic 4.4 Higher-Order Logic 4.14 Theorem Proving Systems 4.16 HOL Theorem Prover 4.22 – unknown authors
Theorem Proving – E. Cerny, X. Song, E. Cerny, X. Song Of, X. Song Of - 1997
Formal Verification of a DSP Chip Using an Iterative Approach – Ali Habibi, Sofiène Tahar, Adel Ghazel
A Progressive Methodology for the Verification of a DSP Chip – Ali Habibi, Sofiène Tahar, Adel Ghazel
3 Interfacing ASM with the MDG Tool – Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter - 2003
3 Formal Verification of ASM Designs Using the MDG Tool – Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter - 2003