6608 search results - page 38 / 1322 » On the Completeness of Model Checking |
115
click to vote
ISTA
2004
15 years 2 months ago
2004
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
73
Voted
VMV
2001
15 years 2 months ago
2001
AI
2005
Springer
15 years 19 days ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
107
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
115
click to vote
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...