Abstract
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 language | English |
|---|---|
| Place of Publication | New York, USA |
| Publisher | Springer, Springer Nature |
| ISBN (Print) | 9780387401157 |
| Publication status | Published - 2005 |
| Externally published | Yes |
Keywords
- engineering mathematics
- probabilities
- systems engineering
- data refinement
- program semantics
- sequential programming