scientific article; zbMATH DE number 1104375
From MaRDI portal
Publication:4370249
zbMath0885.03037MaRDI QIDQ4370249
Annabelle McIver, Carroll Morgan
Publication date: 15 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal semanticsexpectationstemporal logicprogram correctnessweakest preconditionprobabilistic temporal operators
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL ⋮ Unnamed Item ⋮ A quantified coalgebraic van Benthem theorem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositionality for quantitative specifications ⋮ Quantitative program logic and expected time bounds in probabilistic distributed algorithms.
This page was built for publication:
