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