Abstraction, refinement and proof for probabilistic systems

Annabelle McIver, Carroll Morgan

Research output: Book/ReportBookpeer-review


The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs; Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work; and Part III describes a very 'hot' research direction, temporal logic and model checking.
Original languageEnglish
Place of PublicationNew York, USA
PublisherSpringer, Springer Nature
ISBN (Print)9780387401157
Publication statusPublished - 2005
Externally publishedYes


  • engineering mathematics
  • probabilities
  • systems engineering
  • data refinement
  • program semantics
  • sequential programming


Dive into the research topics of 'Abstraction, refinement and proof for probabilistic systems'. Together they form a unique fingerprint.

Cite this