2 search results - page 1 / 1 » Linking Theorem Proving and Model-Checking with Well-Founded... |
CAV
1999
Springer
14 years 3 months ago
1999
Springer
MJ
2006
13 years 10 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 ...