Abstraction, Refinement and Proof for Probabilistic Systems

  title={Abstraction, Refinement and Proof for Probabilistic Systems},
  author={Annabelle McIver and Carroll Morgan},
  booktitle={Monographs in Computer Science},
ion, refinement and proof for probabilistic systems Annabelle McIver Carroll Morgan • Source-level program logic • Introduction to probabilistic-program logic • Systematic presentation via structural induction • Layout of calculations in practice • Random variables and expected values • The impact of demonic choice 
Highly Influential
This paper has highly influenced 40 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 351 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 219 extracted citations

352 Citations

Citations per Year
Semantic Scholar estimates that this publication has 352 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…