Viper: A Verification Infrastructure for Permission-Based Reasoning (Q2796035): Difference between revisions

@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Frama-C
@@ Property / describes a project that uses: Frama-C / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chalice
@@ Property / describes a project that uses: Chalice / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boogie
@@ Property / describes a project that uses: Boogie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Grasshopper
@@ Property / describes a project that uses: Grasshopper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+coreStar
@@ Property / describes a project that uses: coreStar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2294722445
@@ Property / OpenAlex ID: W2294722445 / rank @@
+Normal rank