Abstraction and subsumption in modular verification of C programs (Q2147702): Difference between revisions

@@ Property / describes a project that uses @@
+VST-Floyd
@@ Property / describes a project that uses: VST-Floyd / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rust
@@ Property / describes a project that uses: Rust / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RustBelt
@@ Property / describes a project that uses: RustBelt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACSL
@@ Property / describes a project that uses: ACSL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Toolchain
@@ Property / describes a project that uses: Toolchain / 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 @@
+GitHub
@@ Property / describes a project that uses: GitHub / 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 @@
+VeriFast
@@ Property / describes a project that uses: VeriFast / 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-00353-1
+Normal rank
@@ Property / OpenAlex ID @@
+W3138908006
@@ Property / OpenAlex ID: W3138908006 / rank @@
+Normal rank