scientific article; zbMATH DE number 4128370

zbMath0688.68024MaRDI QIDQ4207573

Amir Pnueli, Eyal Harel

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal logicstate transition systemsspecification of real time systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25) Theory of software (68N99)

Related Items

A logic for reasoning about time and reliability, The power of the ``always operator in first-order temporal logic, Compositional verification of real-time systems with explicit clock temporal logic, A decidable timeout-based extension of linear temporal logic, Suitability of the propositional temporal logic to express properties of real-time systems, A calculus of durations, Formal timing analysis of distributed systems, Compositional priority specification in real-time distributed systems., What good are digital clocks?, Verification of reactive systems using temporal logic with clocks, Models for reactivity