scientific article; zbMATH DE number 3800906

zbMATH Open0507.68005MaRDI QIDQ4745241FDOQ4745241

Authors: Zohar Manna, Amir Pnueli 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

invarianceprecedencelivenessfirst-order temporal logicshared-variables computation model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (16)

• A structured temporal logic language: XYZ/SE
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• On using temporal logic for refinement and compositional verification of concurrent systems
• Real-time refinement in Manna and Pnueli's temporal logic
• The temporal boolean derivative applied to verification of extended finite state machines
• The power of temporal proofs
• Decidability for a temporal logic used in discrete-event system analysis
• Completing the temporal picture
• The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
• Verification of multiprocess probabilistic protocols
• Transformation of programs for fault-tolerance
• A temporal logic approach to discrete event control for the safety canonical class
• A principle for sequential reasoning about distributed algorithms
• A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
• Proving entailment between conceptual state specifications
• On the strength of temporal proofs

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 Q4745241)