pGCL
From MaRDI portal
Software:24997
swMATH13078MaRDI QIDQ24997FDOQ24997
Author name not available (Why is that?)
Cited In (14)
- From Operational Models to Information Theory; Side Channels in pGCL with Isabelle
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
- Formalising Semantics for Expected Running Time of Probabilistic Programs
- A Verified Compiler for Probability Density Functions
- Automated reasoning for probabilistic sequential programs with theorem proving
- Probabilistic guarded commands mechanized in HOL
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- Understanding Probabilistic Programs
- 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
- Practical Probability: Applying pGCL to Lattice Scheduling
- 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
This page was built for software: pGCL
