Interval Duration Logic

DOI10.1016/S1571-0661(04)80480-8zbMath1270.68175MaRDI QIDQ2842590

Paritosh K. Pandya

Publication date: 15 August 2013

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

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

A survey on temporal logics for specifying and verifying real-time systems, Model checking duration calculus: a practical approach, Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders, Verification of Linear Duration Invariants by Model Checking CTL Properties

Uses Software

• Kronos
• Uppaal
• MONA
• DCVALID
• IDLVALID

Cites Work

• A calculus of durations
• Event-clock automata: a determinizable class of timed automata
• Model-checking discrete duration calculus
• Duration calculus: Logical foundations
• Decidable integration graphs.
• Model-checking dense-time duration calculus
• Timed regular expressions
• A propositional modal logic of time intervals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item