|
|||||
|
|
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems |
|
| Authors: | A Labroue Ph Schnoebelen |
| Abstract: | We show how the tree-automata techniques proposed by Lugiez and Schnoebelen apply to the reachability analysis of RPPS systems. Using these techniques requires that we express the states of RPPS systems in a tailor-made process rewrite system where reachability is a relation recognizable by finite tree-automata. |
| Keywords: | verification of infinite-state systems process algebra reachability analysis tree automata model checking |
| 本文献已被 ScienceDirect 等数据库收录！ | |