259 search results - page 6 / 52 » Bounded Model Checking for Timed Automata |
91
Voted
DDECS
2007
IEEE
15 years 9 months ago
2007
IEEE
114
Voted
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
127
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
125
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
135
Voted
STACS
2007
Springer
15 years 8 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...