The following pages link to (Q2849848):
Displayed 5 items.
- An approach for lifetime reliability analysis using theorem proving (Q386029) (← links)
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Formalization of Entropy Measures in HOL (Q3088009) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329) (← links)