Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2136755926
@@ Property / OpenAlex ID: W2136755926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3369934
@@ Property / cites work: Q3369934 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119944
@@ Property / cites work: Q4119944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848422
@@ Property / cites work: Q2848422 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / 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 Tail Distribution Bounds in a Theorem Prover
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319638
@@ Property / cites work: Q4319638 / rank @@
+Normal rank