The following publications are possibly variants of this publication:
- 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]
- Three Approaches to Hardware Verification: HOL, MDG and VIS ComparedSofiène Tahar, Paul Curzon, Jianping Lu. FMCAD 1998: 433-450 [doi]
- Importing MDG Verification Results into HOLHaiyan Xiong, Paul Curzon, Sofiène Tahar. tphol 1999: 293-310 [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]