Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs
Extensions to finite-state automata on strings, such as multi-head automata or multi-counter automata, have been successfully used to encode many infinite-state non-regular verification problems. In this paper, we consider a generalization of automata-theoretic infinite-state verification from stri...
| Main Authors: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
Open Publishing Association
2015-09-01
|
| Colecção: | Electronic Proceedings in Theoretical Computer Science |
| Acesso em linha: | http://arxiv.org/pdf/1509.07202v1 |