Models for reactivity

DOI10.1007/BF01191722zbMath0790.68041MaRDI QIDQ1323323

Zohar Manna, Amir Pnueli

Publication date: 10 May 1994

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

hybrid systemsreal-time systemstemporal logicreactive systemsproof rulesrequirement specification language

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (16)

Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification ⋮ Temporal logics for the specification of performance and reliability ⋮ The Expressive Power of Temporal and First-Order Metric Logics ⋮ Temporal logics with incommensurable distances are undecidable ⋮ Completeness of the accumulation calculus ⋮ Semantics and pragmatics of real-time maude ⋮ Verification in continuous time by discrete reasoning ⋮ Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities ⋮ A formal definition of hierarchical predicate transition nets ⋮ Complexity of metric temporal logics with counting and the Pnueli modalities ⋮ Timer formulas and decidable metric temporal logic ⋮ Decidable metric logics ⋮ Formal verification of multi-agent systems behaviour emerging from cognitive task analysis ⋮ Design for delay verifiability ⋮ Hybrid diagrams ⋮ Specification of real-time and hybrid systems in rewriting logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Completing the temporal picture
• A calculus of durations
• Sooner is safer than later
• From ATP to timed graphs and hybrid systems
• Guarded commands, nondeterminacy and formal derivation of programs

This page was built for publication: Models for reactivity