Cited in
(23)- Practical probability: applying pGCL to lattice scheduling
- Formalising Semantics for Expected Running Time of Probabilistic Programs
- Automated reasoning for probabilistic sequential programs with theorem proving
- Understanding probabilistic programs
- Probabilistic guarded commands mechanized in HOL
- EasyCrypt
- CoSP
- Tycon
- ALEA
- Density Compiler
- Markov Models
- Zoo Probabilistic Systems
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- Monae
- Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings
- VPHL: a verified partial-correctness logic for probabilistic programs
- From operational models to information theory; side channels in pGCL with Isabelle
- Probabilistic functions and cryptographic oracles in higher order logic
- Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22--26, 2013. Proceedings
- Probabilistic guarded commands mechanized in HOL
- Markov chains and Markov decision processes in Isabelle/HOL
- A verified compiler for probability density functions
- Quasi-Borel Spaces
This page was built for software: pGCL
