Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL

DOI10.1016/S0304-3975(02)00612-6MaRDI QIDQ1395428zbMATH OpenFDO

Authors Annabelle McIver, Carroll Morgan

Publication date 1 July 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(02)00612-6

zbMATH Keywords

almost-certain correctnesslivenessmodal mu-calculusprobabilistic temporal logicprobabilistic transition systems

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Almost-certain eventualities and abstract probabilities in the temporal logic PTL
• Theoretical Aspects of Computing – ICTAC 2005
• Probabilistic propositional temporal logics
• An expectation-transformer model for probabilistic temporal logic
• A logic for reasoning about time and reliability

Cites work

• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• An expectation-transformer model for probabilistic temporal logic
• Demonic, angelic and unbounded probabilistic choices in sequential programs
• scientific article; zbMATH DE number 1104375 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Model checking of probabilistic and nondeterministic systems
• Probabilistic verification
• Results on the propositional \(\mu\)-calculus
• Termination of Probabilistic Concurrent Program
• The complexity of probabilistic verification
• The temporal logic of branching time
• Verification of Probabilistic Programs

Cited in

(1)

• Almost-certain eventualities and abstract probabilities in the temporal logic PTL

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1395428)