3147 search results - page 183 / 630 » Open-Source Model Checking |
103
click to vote
CONCUR
2004
Springer
15 years 8 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...
FATES
2004
Springer
15 years 8 months ago
2004
Springer
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
125
Voted
FORMATS
2004
Springer
15 years 8 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...