Hoare Semigroups (Q4640310): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kleene Algebra
@@ Property / describes a project that uses: Kleene Algebra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Building program construction and verification tools from algebraic principles
+Normal rank
@@ Property / cites work @@
+Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q2851315
@@ Property / cites work: Q2851315 / rank @@
+Normal rank
@@ Property / cites work @@
+VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
+Normal rank
@@ Property / cites work @@
+Internal axioms for domain semirings
@@ Property / cites work: Internal axioms for domain semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Dynamic Algebra
@@ Property / cites work: Concurrent Dynamic Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene Algebra with Tests and Coq Tools for while Programs
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s096012951700007x
+Normal rank
@@ Property / OpenAlex ID @@
+W4230791618
@@ Property / OpenAlex ID: W4230791618 / rank @@
+Normal rank