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