Providing a Formal Linkage between MDG and HOL (2002)

Cached

Download Links

by Haiyan Xiong , Paul Curzon , Sofiène Tahar , Ann Blandford
Citations:2 - 2 self

Active Bibliography

Providing a Formal Linkage between MDG Verification System and HOL Proof System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2003
Formally Linking MDG and HOL Based on a Verified MDG System – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford, Ann Bl
1 Integration of HOL and MDG for hardware verification – Vijay Kumar Pisini, Concordia University - 1999
8 Hierarchical Verification Using an MDG-HOL Hybrid Tool – Iskander Kort, Sofiène Tahar, Paul Curzon
A Hybrid Tool for Linking HOL Theorem Proving with MDG Model Checking – Rabeb Mizouni - 2003
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
25 An industrially effective environment for formal hardware verification – Carl-johan H. Seger, Robert B. Jones, John W. O’leary, Tom Melham, Mark D. Aagaard, Clark Barrett, Don Syme, An Industrially Effective Environment, {carl-johan H. Seger, Robert B. Jones, John W. O'leary, Tom Melham, Mark D. Aagaard, Clark Barrett, Don Syme, Mark D. Aagaard, Clark Barrett, Don Syme - 2005
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
1 A short survey of automated reasoning – John Harrison
4 Proving Existential Theorems when Importing Results from MDG to HOL – Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford - 2001
1 An Approach to Link HOL and MDG for Hardware Verification – V. K. Pisini, S. Tahar, O. Ait-Mohamed, P. Curzon, X. Song
2 Formal Hardware Verification by Integrating HOL and MDG – V.K. Pisini, S. Tahar, P. Curzon, O. Ait-Mohamed, X. Song - 2000
31 Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving – Mark D. Aagaard, Robert B. Jones, Carl-johan H. Seger - 1999
7 Verification of the MDG Components Library in HOL – Paul Curzon, Sofiène Tahar, Otmane Aït Mohamed, Otmane Ait Mohamed - 1998
1 A Light-Weight Framework for Hardware Verification – Christoph Kern, Tarik Ono-tesfaye, Mark R. Greenstreet - 1999
3 Formal Verification of Concurrent Programs Based on Type Theory – Shen-Wei Yu - 1998
Software Verification with Symbolic Trajectory Evaluation – Shane Heath Morton, Shane Heath Morton - 2000
1 The Application of Formal Verification to SPW Designs – Behzad Akbarpour, Sofiène Tahar - 2003