Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116): Difference between revisions

@@ Property / describes a project that uses @@
+BoogiePL
@@ Property / describes a project that uses: BoogiePL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kotlin
@@ Property / describes a project that uses: Kotlin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rust2Viper
@@ Property / describes a project that uses: Rust2Viper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pyston
@@ Property / describes a project that uses: Pyston / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Crust
@@ Property / describes a project that uses: Crust / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Calysto
@@ Property / describes a project that uses: Calysto / 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 @@
+Cascade
@@ Property / describes a project that uses: Cascade / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CIVL
@@ Property / describes a project that uses: CIVL / 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 @@
+GraVy
@@ Property / describes a project that uses: GraVy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiVinE
@@ Property / describes a project that uses: DiVinE / 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 @@
+KLEE
@@ Property / describes a project that uses: KLEE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LLVM
@@ Property / describes a project that uses: LLVM / 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 @@
+Rust
@@ Property / describes a project that uses: Rust / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Swift
@@ Property / describes a project that uses: Swift / 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/978-3-030-39322-9_5
+Normal rank
@@ Property / OpenAlex ID @@
+W3000442391
@@ Property / OpenAlex ID: W3000442391 / rank @@
+Normal rank