3224 search results - page 230 / 645 » On Checking Model Checkers |
124
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
122
Voted
FASE
2004
Springer
15 years 10 months ago
2004
Springer
105
Voted
FATES
2004
Springer
15 years 10 months ago
2004
Springer
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
143
Voted
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...