scientific article; zbMATH DE number 3800906
From MaRDI portal
Publication:4745241
zbMATH Open0507.68005MaRDI QIDQ4745241FDOQ4745241
Authors: Zohar Manna, Amir Pnueli
Publication date: 1983
Title of this publication is not available (Why is that?)
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)