The following publications are possibly variants of this publication:
- A Comparison of MDG and HOL for Hardware VerificationSofiène Tahar, Paul Curzon. tphol 1996: 415-430
- Providing a formal linkage between MDG and HOL based on a verified MDG systemHaiyan Xiong. PhD thesis, Middlesex University, London, UK, 2002. [doi]
- Formally Linking MDG and HOL Based on a Verified MDG SystemHaiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford. IFM 2002: 205-224 [doi]
- Providing Automated Verification in HOL Using MDGsTarek Mhamdi, Sofiène Tahar. ATVA 2004: 278-293 [doi]
- Hierarchical Verification Using an MDG-HOL Hybrid ToolIskander Kort, Sofiène Tahar, Paul Curzon. charme 2001: 244-258 [doi]
- Formal hardware verification by integrating HOL and MDGV. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song. glvlsi 2000: 23-28 [doi]
- Hybrid verification integrating HOL theorem proving with MDG model checkingRabeb Mizouni, Sofiène Tahar, Paul Curzon. mj, 37(11):1200-1207, 2006. [doi]
- Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch FabricSofiène Tahar, Paul Curzon. njc, 6(4):372-402, 1999.
- Three Approaches to Hardware Verification: HOL, MDG and VIS ComparedSofiène Tahar, Paul Curzon, Jianping Lu. FMCAD 1998: 433-450 [doi]