6608 search results - page 200 / 1322 » On the Completeness of Model Checking |
105
Voted
FATES
2004
Springer
15 years 10 months ago
2004
Springer
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
160
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
110
Voted
SPIN
2004
Springer
15 years 10 months ago
2004
Springer