Abstraction, Refinement and Proof for Probabilistic Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction to pGCL : Its logic and its model
-
Altmetric BadgeChapter 2 Probabilistic loops: Invariants and variants
-
Altmetric BadgeChapter 3 Case studies in termination: Choice coordination, the dining philosophers, and the random walk
-
Altmetric BadgeChapter 4 Probabilistic data refinement: The steam boiler
-
Altmetric BadgeChapter 5 Theory for the demonic model
-
Altmetric BadgeChapter 6 The geometry of probabilistic programs
-
Altmetric BadgeChapter 7 Proved rules for probabilistic loops
-
Altmetric BadgeChapter 8 Infinite state spaces, angelic choice and the transformer hierarchy
-
Altmetric BadgeChapter 9 Quantitative temporal logic: An introduction
-
Altmetric BadgeChapter 10 The quantitative algebra of qTL
-
Altmetric BadgeChapter 11 The quantitative modal μ -calculus, and gambling games
