Checking temporal duration properties of timed automata.

DOI10.1007/BF02960759MaRDI QIDQ1433946zbMATH OpenOpenAlexFDO

Authors Yong Li, Dang Van Hung

Publication date 1 July 2004

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02960759

zbMATH Keywords

duration calculusmodel checking

Mathematics Subject Classification ID

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

Recommendations

• Checking timed automata for linear duration properties
• Theoretical Aspects of Computing - ICTAC 2004
• Model-checking discrete duration calculus
• scientific article; zbMATH DE number 1507209
• Durations and parametric model-checking in timed automata

Cites work

• A calculus of durations
• A theory of timed automata

Cited in

(14)

• Model-checking discrete duration calculus
• Verification of duration systems using an approximation approach
• Checking timed automata for linear duration properties
• Remove irrelevant atomic formulas for timed automaton model checking
• scientific article; zbMATH DE number 1954132 (Why is no real title available?)
• scientific article; zbMATH DE number 1962855 (Why is no real title available?)
• Durations and parametric model-checking in timed automata
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Theoretical Aspects of Computing - ICTAC 2004
• Approximate model checking of real-time systems for linear duration invariants
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Road Map of Interval Temporal Logics and Duration Calculi
• Checking linear duration invariants by linear programming
• Model checking duration calculus: a practical approach

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Checking temporal duration properties of timed automata.

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