Pages that link to "Item:Q5971408"
From MaRDI portal
The following pages link to VPHL: a verified partial-correctness logic for probabilistic programs (Q5971408):
Displaying 3 items.
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← 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)
