6608 search results - page 2 / 1322 » On the Completeness of Model Checking |
ESOP
2001
Springer
13 years 10 months ago
2001
Springer
EUMAS
2006
13 years 7 months ago
2006
JAR
2010
13 years 4 months ago
2010
VLDB
2005
ACM
13 years 11 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...
JFP
2006
13 years 5 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...