3909 search results - page 163 / 782 » Extreme Model Checking |
122
click to vote
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...
135
Voted
IFIP
2004
Springer
15 years 8 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...
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
82
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
98
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
