Regular model checking for systems with effectively regular reachability relation
From MaRDI portal
Cites work
- Algorithmic metatheorems for decidable LTL model checking over infinite systems
- Automata theory. An algorithmic approach
- Classical recursion theory. The theory of functions and sets of natural numbers.
- Complexity analysis of the backward coverability algorithm for VASS
- Computation in networks of passively mobile finite-state sensors
- Computing inductive invariants of regular abstraction frameworks
- CONCUR 2004 - Concurrency Theory
- Decidability of model checking for infinite-state concurrent systems
- Fair termination for parameterized probabilistic concurrent systems
- scientific article; zbMATH DE number 1670791 (Why is no real title available?)
- scientific article; zbMATH DE number 1927558 (Why is no real title available?)
- scientific article; zbMATH DE number 1759620 (Why is no real title available?)
- scientific article; zbMATH DE number 7407775 (Why is no real title available?)
- Liveness of randomised parameterised systems under arbitrary schedulers
- Model checking parameterized systems
- Model checking population protocols
- On the reachability problem for 5-dimensional vector addition systems
- Ordering by Divisibility in Abstract Algebras
- Petri nets, commutative context-free grammars, and basic parallel processes
- Principles of abstract interpretation
- Propositional dynamic logic of nonregular programs
- Ramsey quantifiers over automatic structures: complexity and applications to verification
- Reachability in vector addition systems is Ackermann-complete
- Recurrent Reachability Analysis in Regular Model Checking
- Regular model checking: evolution and perspectives
- The Reachability Problem for Petri Nets Is Not Elementary
- The reachability problem for Petri nets is not primitive recursive
- Using forward reachability analysis for verification of lossy channel systems
- Well-structured transition systems everywhere!
This page was built for publication: Regular model checking for systems with effectively regular reachability relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7310214)
