An expectation-transformer model for probabilistic temporal logic

DOI10.1093/jigpal/7.6.779zbMath1073.68679OpenAlexW2059634198MaRDI QIDQ4934885

Carroll Morgan, Annabelle McIver

Publication date: 1999

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8c917d7598ca3fb612ac7813a07695e4fd791bb4

zbMATH Keywords

formal semanticsprobabilityprogram correctnessweakest preconditionTemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

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

This page was built for publication: An expectation-transformer model for probabilistic temporal logic