53 search results - page 2 / 11 » Bounded Model Checking for Region Automata |
ATVA
2006
Springer
13 years 10 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
TACAS
2010
Springer
14 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic t...
DDECS
2007
IEEE
14 years 22 days ago
2007
IEEE