Unifying type checking and property checking for low-level code (Q5261528): Difference between revisions

@@ Property / author @@
-Shaz Qadeer
@@ Property / author: Shaz Qadeer / rank @@
-Normal rank
@@ Property / author @@
+Shaz Qadeer
@@ Property / author: Shaz Qadeer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCured
@@ Property / describes a project that uses: CCured / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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 @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HAVOC
@@ Property / describes a project that uses: HAVOC / 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 @@
+Spec#
@@ Property / describes a project that uses: Spec# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclone
@@ Property / describes a project that uses: Cyclone / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/1480881.1480921
+Normal rank
@@ Property / OpenAlex ID @@
+W2111050128
@@ Property / OpenAlex ID: W2111050128 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5261528