Pages that link to "Item:Q3608759"
From MaRDI portal
The following pages link to Formalization of Continuous Probability Distributions (Q3608759):
Displayed 4 items.
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (Q3605473) (← links)