Sciweavers

MJ
2006

Hybrid verification integrating HOL theorem proving with MDG model checking

13 years 10 months ago
Hybrid verification integrating HOL theorem proving with MDG model checking
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our tool supports abstract datatypes and uninterpreted function symbols available in MDG, allowing the verification of high-level specifications. The hybrid tool, HOL
Rabeb Mizouni, Sofiène Tahar, Paul Curzon
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where MJ
Authors Rabeb Mizouni, Sofiène Tahar, Paul Curzon
Comments (0)