On Verification of Linear Occurrence Properties of Real-Time Systems

DOI10.1016/J.ENTCS.2008.03.088zbMath1279.68201OpenAlexW2037298257MaRDI QIDQ2873689

Choe Changil, Dang Van Hung

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.088

zbMATH Keywords

real-time automatadeterministic probabilistic real-time automataduration calculus of weakly monotonic timelinear occurrence invariantsprobabilistic duration calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On Verification of Linear Occurrence Properties of Real-Time Systems

Cites Work

• A calculus of durations
• A theory of timed automata
• Duration calculus. A formal approach to real-time systems.
• Automatic verification of real-time systems with discrete probability distributions.
• On Verification of Linear Occurrence Properties of Real-Time Systems
• Theoretical Aspects of Computing - ICTAC 2004
• On Sampling Abstraction of Continuous Time Logic with Durations

This page was built for publication: On Verification of Linear Occurrence Properties of Real-Time Systems