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

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T37
@@ Property / Mathematics Subject Classification ID: 68T37 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5911156
@@ Property / zbMATH DE Number: 5911156 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+binary channel
@@ Property / zbMATH Keywords: binary channel / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Bayes theorem
@@ Property / zbMATH Keywords: Bayes theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+HOL theorem prover
@@ Property / zbMATH Keywords: HOL theorem prover / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic analysis
@@ Property / zbMATH Keywords: probabilistic analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+total probability law
@@ Property / zbMATH Keywords: total probability law / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:545151