131 search results - page 6 / 27 » Model Checking Prioritized Timed Automata |
ACSD
2007
IEEE
15 years 1 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
WIA
2007
Springer
15 years 5 months ago
2007
Springer
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
108
Voted
CAV
2003
Springer
15 years 5 months ago
2003
Springer
TACAS
2001
Springer
15 years 4 months ago
2001
Springer