Model checking boot code from AWS data centers (Q2050104): Difference between revisions

@@ Property / Wikidata QID @@
+Q114689969
@@ Property / Wikidata QID: Q114689969 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VCC
@@ Property / describes a project that uses: VCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SatAbs
@@ Property / describes a project that uses: SatAbs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coverity
@@ Property / describes a project that uses: Coverity / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Klocwork
@@ Property / describes a project that uses: Klocwork / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cascade
@@ Property / describes a project that uses: Cascade / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMACK
@@ Property / describes a project that uses: SMACK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLEE
@@ Property / describes a project that uses: KLEE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPAchecker
@@ Property / describes a project that uses: CPAchecker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UFO
@@ Property / describes a project that uses: UFO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEMU
@@ Property / describes a project that uses: QEMU / 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.1007/s10703-020-00344-2
+Normal rank
@@ Property / OpenAlex ID @@
+W4250014270
@@ Property / OpenAlex ID: W4250014270 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2050104