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 and – Hol Based, Verified Mdg System - 2002
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
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1318 Monads for functional programming – Philip Wadler - 1995
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
620 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
719 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992