Checking linear duration invariants by linear programming

DOI10.1007/BFB0027804MaRDI QIDQ6560369zbMATH OpenFDO

Authors Li Xuandong, Dang Van Hung

Publication date 21 June 2024

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of mathematical programming (90C90)

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• Checking temporal duration properties of timed automata.
• Checking timed automata for linear duration properties
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Checking integral real-time automata for extended linear duration invariants

Cites work

• A calculus of durations
• A theory of timed automata
• Model-checking discrete duration calculus

This page was built for publication: Checking linear duration invariants by linear programming

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