The following pages link to Computer Aided Verification (Q5900677):
Displaying 7 items.
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Finding extremal models of discrete duration calculus formulae using symbolic search (Q2848425) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703768) (← links)