THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS

DOI10.1142/S0129054102001539zbMath1067.68090OpenAlexW1546494787MaRDI QIDQ3021995

Oscar H. Ibarra, Zhe Dang

Publication date: 22 June 2005

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054102001539

zbMATH Keywords

livenesssafetytimed automata\(\omega\)-chainsmixed linear relations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verification of qualitative \(\mathbb Z\) constraints

Cites Work

• Model-checking in dense real-time
• The complexity of decision problems for finite-turn multicounter machines
• A theory of timed automata
• Symbolic model checking for real-time systems
• Uppaal in a nutshell
• Reversal-Bounded Multicounter Machines and Their Decision Problems
• A really temporal logic

This page was built for publication: THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS