VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC (Q3021957): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic verification
@@ Property / cites work: Probabilistic verification / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s012905410200114x
+Normal rank
@@ Property / OpenAlex ID @@
+W2119029543
@@ Property / OpenAlex ID: W2119029543 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129146979
@@ Property / Wikidata QID: Q129146979 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3021957