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

@@ Property / describes a project that uses @@
+KRAKATOA
@@ Property / describes a project that uses: KRAKATOA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VerCors
@@ Property / describes a project that uses: VerCors / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Viper
@@ Property / describes a project that uses: Viper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dafny
@@ Property / describes a project that uses: Dafny / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Spec#
@@ Property / describes a project that uses: Spec# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriFast
@@ Property / describes a project that uses: VeriFast / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smallfoot
@@ Property / describes a project that uses: Smallfoot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2796035