373 search results - page 1 / 75 » Analysis of Recursive State Machines |
CAV
2001
Springer
13 years 10 months ago
2001
Springer
POPL
2008
ACM
14 years 6 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
STACS
2005
Springer
13 years 11 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
TACAS
2005
Springer
13 years 11 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
ICALP
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...