The following pages link to pGCL (Q24997):
Displaying 14 items.
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- 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 (Q2248021) (← links)
- Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22--26, 2013. Proceedings (Q2391534) (← links)
- Probabilistic guarded commands mechanized in HOL (Q2576950) (← links)
- Automated reasoning for probabilistic sequential programs with theorem proving (Q2695373) (← links)
- A Verified Compiler for Probability Density Functions (Q2802431) (← links)
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495) (← links)
- Formalising Semantics for Expected Running Time of Probabilistic Programs (Q2829281) (← links)
- (Q2849848) (← links)
- From Operational Models to Information Theory; Side Channels in pGCL with Isabelle (Q2879251) (← links)
- Understanding Probabilistic Programs (Q3449623) (← links)
- Practical Probability: Applying pGCL to Lattice Scheduling (Q5327352) (← links)
- VPHL: a verified partial-correctness logic for probabilistic programs (Q5971408) (← links)
