Checking Integral Real-Time Automata for Extended Linear Duration Invariants

DOI10.1007/978-3-319-17581-2_5zbMath1328.68125OpenAlexW1167245655MaRDI QIDQ3460214

Song Han, Changil Choe, Univan Ahn

Publication date: 6 January 2016

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-17581-2_5

zbMATH Keywords

real-time systemextended linear duration invariantintegral real-time automatonlinear duration invariantreal-time automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of durations
• A theory of timed automata
• Duration calculus. A formal approach to real-time systems.
• Global optimization of separable objective functions on convex polyhedra via piecewise-linear approximation
• Model Checking Linear Duration Invariants of Networks of Automata
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Theoretical Aspects of Computing - ICTAC 2004
• Formal Methods for Components and Objects

This page was built for publication: Checking Integral Real-Time Automata for Extended Linear Duration Invariants