Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver , Carroll MorganEnglish | PDF | 2005 | 394 Pages | ISBN : 0387401156 | 4.4 MB
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important.