scientific article; zbMATH DE number 3848604
From MaRDI portal
Publication:3318104
Recommendations
- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
- scientific article; zbMATH DE number 3889506
- scientific article; zbMATH DE number 1487724
- Semantics and Verification of a Language for Modelling Hardware Architectures
- scientific article; zbMATH DE number 1852157
Cited in
(27)- Hierarchical verification of asynchronous circuits using temporal logic
- Model-checking discrete duration calculus
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- An application of temporal projection to interleaving concurrency
- A survey on temporal logics for specifying and verifying real-time systems
- A decision procedure for propositional projection temporal logic with infinite models
- Prefix and projection onto state in duration calculus
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
- Decidability of a hybrid duration calculus
- Functional specification of hardware via temporal logic
- scientific article; zbMATH DE number 3924682 (Why is no real title available?)
- A separation theorem for discrete-time interval temporal logic
- On a Temporal Logic of Prefixes and Infixes.
- A real-time interval logic and its decision procedure
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
- Unary and two-variable interval logics
- Interval logics and their decision procedures. I: An interval logic
- A sequent calculus for trace formula implication
- Temporal behavior trees: robustness and segmentation
- An adequate first order interval logic
- Compositional reasoning using interval temporal logic and Tempura
- Model construction for modal clauses
- K and KT: an analytic non-deterministic view
- Applications of discrete-time interval-based temporal separation
- Algebraic neighbourhood logic
- A timeband framework for modelling real-time systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3318104)
