Model-checking dense-time duration calculus
From MaRDI portal
Publication:1882793
DOI10.1007/s00165-004-0032-yzbMath1084.68071OpenAlexW2077641253MaRDI QIDQ1882793
Publication date: 1 October 2004
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-004-0032-y
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (7)
Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ Bounded variability of metric temporal logic ⋮ The quest for an adequate semantic basis of dense-time metric temporal logic ⋮ Model checking duration calculus: a practical approach ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ Interval Duration Logic ⋮ Decidability of a Hybrid Duration Calculus
This page was built for publication: Model-checking dense-time duration calculus
