Reachability analysis for some models of infinite-state transition systems

DOI10.1007/3-540-44618-4_15MaRDI QIDQ4536602zbMATH OpenFDO

Authors Oscar H. Ibarra, Tevfik Bultan, Jianwen Su

Publication date 28 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44618-4_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On reachability and safety in infinite-state systems
• Counter machines and verification problems.
• Counter machines: Decidable properties and applications to verification problems
• Reachability and safety in queue systems
• scientific article; zbMATH DE number 3974295

Cited in

(15)

• Fixed point characterization of infinite behavior of finite-state systems
• Automatic verification of recursive procedures with one integer parameter.
• Grammatical characterizations of NPDAs and VPDAs with counters
• Augmenting the discrete timed automaton with other data structures.
• Some decision problems concerning semilinearity and commutation.
• Eliminating the storage tape in reachability constructions.
• On store languages and applications
• VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES
• The complexity of reversal-bounded model-checking
• Counter machines: Decidable properties and applications to verification problems
• Reachability and safety in queue systems
• On reachability and safety in infinite-state systems
• Semilinearity of families of languages
• State Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAs
• Synchronization of Parikh automata

This page was built for publication: Reachability analysis for some models of infinite-state transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536602)