Efficient verification of imperative programs using auto2 (Q2324204): Difference between revisions

@@ Property / describes a project that uses @@
+Edmonds-Karp
@@ Property / describes a project that uses: Edmonds-Karp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Separation Logic
@@ Property / describes a project that uses: Separation Logic / 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 @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dijkstra Shortest Path
@@ Property / describes a project that uses: Dijkstra Shortest Path / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AUTO2
@@ Property / describes a project that uses: AUTO2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2765411061
@@ Property / OpenAlex ID: W2765411061 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06996
@@ Property / arXiv ID: 1610.06996 / rank @@
+Normal rank