Reasoning about conditional probabilities in a higher-order-logic theorem prover (Q545151): Difference between revisions

@@ Property / describes a project that uses @@
+VESTA
@@ Property / describes a project that uses: VESTA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1972387650
@@ Property / OpenAlex ID: W1972387650 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Randomized Algorithms in Coq
@@ Property / cites work: Proofs of Randomized Algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813222
@@ Property / cites work: Q4813222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998410
@@ Property / cites work: Q3998410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3723577
@@ Property / cites work: Q3723577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Continuous Probability Distributions
+Normal rank
@@ Property / cites work @@
+Verification of Expectation Properties for Discrete Random Variables in HOL
+Normal rank
@@ Property / cites work @@
+Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
+Normal rank
@@ Property / cites work @@
+Formal verification of tail distribution bounds in the HOL theorem prover
+Normal rank
@@ Property / cites work @@
+Performance analysis and functional verification of the stop-and-wait protocol in HOL
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of the Miller-Rabin probabilistic primality test.
+Normal rank
@@ Property / cites work @@
+Q4217794
@@ Property / cites work: Q4217794 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4664879
@@ Property / cites work: Q4664879 / rank @@
+Normal rank