Probabilistic_While

MaRDI QIDQ53713swMATHFDO

Authors Andreas Lochbihler

Publication date 5 May 2017

Official website https://www.isa-afp.org/entries/Probabilistic_While.html

Cites work

• Abstraction, Refinement and Proof for Probabilistic Systems
• Unnamed Publication

Cited in

(6)

• A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
• CryptHOL: game-based proofs in higher-order logic
• Zoo Probabilistic Systems
• Perron Frobenius
• MFMC_Countable
• Game_Based_Crypto

This page was built for software: Probabilistic_While