scientific article
From MaRDI portal
Publication:3318104
zbMath0534.68025MaRDI QIDQ3318104
Ben Moszkowski, Zohar Manna, Joseph Y. Halpern
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal stabilitypropositional temporal logichardware description languagetemporal assignmenttemporal equality
Related Items
Model-checking discrete duration calculus, Functional Specification of Hardware via Temporal Logic, A separation theorem for discrete-time interval temporal logic, An application of temporal projection to interleaving concurrency, A survey on temporal logics for specifying and verifying real-time systems, Algebraic neighbourhood logic, Interval logics and their decision procedures. I: An interval logic, A decision procedure for propositional projection temporal logic with infinite models, A timeband framework for modelling real-time systems, A real-time interval logic and its decision procedure, \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments, On a Temporal Logic of Prefixes and Infixes., Prefix and Projection onto State in Duration Calculus, Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic, Effective semantics for the modal logics K and KT via non-deterministic matrices, Decidability of a Hybrid Duration Calculus, Hierarchical verification of asynchronous circuits using temporal logic
