Abstraction, refinement and proof for probabilistic systems

by Annabelle McIver, Charles C. Morgan

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution…