scientific article; zbMATH DE number 4153903

MaRDI QIDQ3482822zbMATH OpenFDO

Authors Zohar Manna, Amir Pnueli

Publication date 1989

zbMATH Keywords

transition systemstemporal logiccomplete axiomatizationfairness requirements

Mathematics Subject Classification ID

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)

Recommendations

• Completing the temporal picture
• scientific article; zbMATH DE number 3985193
• scientific article; zbMATH DE number 3940713
• Verifying temporal properties without temporal logic
• scientific article; zbMATH DE number 17797

Cited in

(24)

• scientific article; zbMATH DE number 3858393 (Why is no real title available?)
• A first-order logic characterization of safety and co-safety languages
• scientific article; zbMATH DE number 3898203 (Why is no real title available?)
• On fairness and randomness
• Verification of distributed programs using representative interleaving sequences
• scientific article; zbMATH DE number 4001471 (Why is no real title available?)
• Verifying temporal properties without temporal logic
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• Temporal property verification as a program analysis task
• Adding partial orders to linear temporal logic
• scientific article; zbMATH DE number 1479642 (Why is no real title available?)
• Proving partial order properties
• Making prophecies with decision predicates
• Temporal Properties of Clean Programs Proven in Sparkle-T
• Verification of temporal properties
• Local temporal reasoning
• Completing the temporal picture
• scientific article; zbMATH DE number 17797 (Why is no real title available?)
• scientific article; zbMATH DE number 3888909 (Why is no real title available?)
• Deductive verification of alternating systems
• Characterization of temporal property classes
• \textsc{tlpvs}: A \textsc{pvs}-based \textsc{ltl} verification system
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• 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)