292 search results - page 1 / 59 » Abstract and Model Check While You Prove |
61
Voted
CAV
1999
Springer
15 years 2 months ago
1999
Springer
82
Voted
VSTTE
2005
Springer
15 years 3 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
14 years 10 months ago
2007
FMCAD
2000
Springer
15 years 1 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
14 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 ...