445 search results - page 46 / 89 » Model Checking Quantitative Linear Time Logic |
149
click to vote
SEBD
2001
15 years 3 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
154
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
107
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
103
click to vote
ENTCS
2002
15 years 1 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...