pGCL
From MaRDI portal
Software:24997
swMATH13078MaRDI QIDQ24997FDOQ24997
Author name not available (Why is that?)
Cited In (14)
- 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
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- VPHL: a verified partial-correctness logic for 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
- 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
This page was built for software: pGCL
