Publication:3318104
From MaRDI portal
zbMath0534.68025MaRDI QIDQ3318104
Ben Moszkowski, Zohar Manna, Joseph Y. Halpern
Publication date: 1983
temporal stability; propositional temporal logic; hardware description language; temporal assignment; temporal equality
Related Items
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, Interval logics and their decision procedures. I: An interval logic, Algebraic neighbourhood logic, A timeband framework for modelling real-time systems, 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