On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Under a Creative Commons license
open access
Keywords
rewrite systems
infinite-state systems
model checking
decidability
linear temporal logic
Cited by (0)
- 1
Supported by Ministry of Education of the Czech Republic, project No. MSM0021622419, and by the Czech Science Foundation, grant No. 201/09/1389.
- 2
Supported by the research centre “Institute for Theoretical Computer Science (ITI)”, project No. 1M0545, and by the Czech Science Foundation, grant No. 201/08/P459.
- 3
Supported by the Academy of Sciences of the Czech Republic, grant No. 1ET408050503, and by the Czech Science Foundation, grant No. 201/08/P375.
Copyright © 2009 Elsevier B.V.