27 search results - page 2 / 6 » atva 2006 |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Much is known about the differences in expressiveness and succinctness between nondeterministic and deterministic automata on infinite words. Much less is known about the...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
We consider infinite-state discrete Markov chains which are eager: the probability of avoiding a defined set of final states for more than
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...