Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006
DOI: 10.1007/978-0-387-34735-6_19
|View full text |Cite
|
Sign up to set email alerts
|

Regular Hedge Model Checking

Abstract: Abstract. We extend the regular model checking framework so that it can handle systems with arbitrary width tree-like structures. Configurations of a system are represented by trees of arbitrary arities, sets of configurations are represented by regular hedge automata, and the dynamics of a system is modeled by a regular hedge transducer. We consider the problem of computing the transitive closure T + of a regular hedge transducer T . This construction is not possible in general. Therefore, we present a genera… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
3
0

Publication Types

Select...
2
2
1

Relationship

2
3

Authors

Journals

citations
Cited by 5 publications
(3 citation statements)
references
References 28 publications
(43 reference statements)
0
3
0
Order By: Relevance
“…(2) Then, in the case of regular tree model checking where configurations are represented by trees of arbitrary sizes (but fixed arities). These works have been applied to the analysis of parameterized systems with tree topologies [4,7,20,29], and multithreaded programs [10,20,21,42,48]; and (3) in the case of hedge tree model checking, where the configurations of the system are represented by trees of arbitrary width [32,49].…”
mentioning
confidence: 99%
“…(2) Then, in the case of regular tree model checking where configurations are represented by trees of arbitrary sizes (but fixed arities). These works have been applied to the analysis of parameterized systems with tree topologies [4,7,20,29], and multithreaded programs [10,20,21,42,48]; and (3) in the case of hedge tree model checking, where the configurations of the system are represented by trees of arbitrary width [32,49].…”
mentioning
confidence: 99%
“…Unranked trees have also been employed to model multithreaded recursive program configurations where the number of parallel processes is unbounded [3,18]. Hedge-automata (HA) are considered now as the natural model of automata for unranked trees.…”
Section: Introductionmentioning
confidence: 99%
“…There exists other rewriting notions like the top-down XML transformations [12] or the relabeling transducers of [18] but they do not cover our notion since either they use specific hedge traversal strategies or they are structurepreserving.…”
Section: Introductionmentioning
confidence: 99%