292 search results - page 1 / 59 » Abstract and Model Check While You Prove |
CAV
1999
Springer
13 years 9 months ago
1999
Springer
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
DT
2007
13 years 5 months ago
2007
FMCAD
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
MJ
2006
13 years 5 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 ...