Pages that link to "Item:Q2576950"
From MaRDI portal
The following pages link to Probabilistic guarded commands mechanized in HOL (Q2576950):
Displaying 17 items.
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)
- Probabilistic models for the guarded command language (Q1356940) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- Automated reasoning for probabilistic sequential programs with theorem proving (Q2695373) (← links)
- Formalising Semantics for Expected Running Time of Probabilistic Programs (Q2829281) (← links)
- Probabilistic guarded commands mechanized in HOL (Q2849848) (← links)
- Formalizing Probabilistic Noninterference (Q2938053) (← links)
- Three Chapters of Measure Theory in Isabelle/HOL (Q3088003) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Understanding Probabilistic Programs (Q3449623) (← links)
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329) (← links)
- VPHL: a verified partial-correctness logic for probabilistic programs (Q5971408) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)
