The following pages link to (Q3318104):
Displayed 14 items.
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Hierarchical verification of asynchronous circuits using temporal logic (Q1070998) (← links)
- Model-checking discrete duration calculus (Q1346770) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- Prefix and Projection onto State in Duration Calculus (Q2842576) (← links)
- Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic (Q2864394) (← links)
- Decidability of a Hybrid Duration Calculus (Q2867952) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)