2 search results - page 1 / 1 » Linking Theorem Proving and Model-Checking with Well-Founded... |
CAV
1999
Springer
15 years 7 months ago
1999
Springer
106
click to vote
MJ
2006
15 years 2 months ago
2006
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 ...