pGCL
From MaRDI portal
Software:24997
No author found.
Related Items (14)
Understanding Probabilistic Programs ⋮ Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22--26, 2013. Proceedings ⋮ Program logic for higher-order probabilistic programs in Isabelle/HOL ⋮ Practical Probability: Applying pGCL to Lattice Scheduling ⋮ Markov chains and Markov decision processes in Isabelle/HOL ⋮ Automated reasoning for probabilistic sequential programs with theorem proving ⋮ 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 ⋮ Unnamed Item ⋮ 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
This page was built for software: pGCL
