scientific article; zbMATH DE number 4153903
From MaRDI portal
Publication:3482822
zbMATH Open0703.68075MaRDI QIDQ3482822FDOQ3482822
Authors: Zohar Manna, Amir Pnueli 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (24)
- Title not available (Why is that?)
- A first-order logic characterization of safety and co-safety languages
- Title not available (Why is that?)
- On fairness and randomness
- Title not available (Why is that?)
- Verification of distributed programs using representative interleaving sequences
- Verifying temporal properties without temporal logic
- Title not available (Why is that?)
- Temporal property verification as a program analysis task
- Adding partial orders to linear temporal logic
- Title not available (Why is that?)
- Making prophecies with decision predicates
- Proving partial order properties
- Temporal Properties of Clean Programs Proven in Sparkle-T
- Verification of temporal properties
- Local temporal reasoning
- Completing the temporal picture
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deductive verification of alternating systems
- Characterization of temporal property classes
- \textsc{tlpvs}: A \textsc{pvs}-based \textsc{ltl} verification system
- Title not available (Why is that?)
- Metric temporal logic with durations
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 Q3482822)
