637 search results - page 12 / 128 » Inconsistency-Tolerant Integrity Checking |
INTERNET
2006
14 years 9 months ago
2006
59
Voted
JOT
2008
14 years 9 months ago
2008
JHSN
2006
14 years 9 months ago
2006
MJ
2006
14 years 9 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 ...
FQAS
2004
Springer
15 years 1 months ago
2004
Springer
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...