DCVALID
From MaRDI portal
Software:32234
swMATH20416MaRDI QIDQ32234FDOQ32234
Author name not available (Why is that?)
Cited In (15)
- A practical approach to model checking duration calculus using Presburger arithmetic
- Title not available (Why is that?)
- A survey on temporal logics for specifying and verifying real-time systems
- Interval duration logic: expressiveness and decidability
- Specification and verification of multimedia synchronization in duration calculus
- Verification and enforcement of access control policies
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Decidability of a hybrid duration calculus
- Tools and Algorithms for the Construction and Analysis of Systems
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- Specification and optimal reactive synthesis of run-time enforcement shields
- Finding extremal models of discrete duration calculus formulae using symbolic search
- Bounded model-checking of discrete duration calculus
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Computer Aided Verification
This page was built for software: DCVALID
