DCVALID
From MaRDI portal
Software:32234
No author found.
Related Items (15)
Tools and Algorithms for the Construction and Analysis of Systems ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ Specification and optimal reactive synthesis of run-time enforcement shields ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Unnamed Item ⋮ Bounded model-checking of discrete duration calculus ⋮ Specification and verification of multimedia synchronization in duration calculus ⋮ Verification and enforcement of access control policies ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ Unnamed Item ⋮ Computer Aided Verification ⋮ FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ⋮ PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic ⋮ Interval Duration Logic ⋮ Decidability of a Hybrid Duration Calculus
This page was built for software: DCVALID
