Lingva: Generating and Proving Program Properties Using Symbol Elimination (Q3455056): Difference between revisions

@@ Property / describes a project that uses @@
+LLVM
@@ Property / describes a project that uses: LLVM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+InvGen
@@ Property / describes a project that uses: InvGen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FunArray
@@ Property / describes a project that uses: FunArray / 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-662-46823-4_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2295411989
@@ Property / OpenAlex ID: W2295411989 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants for Arrays
@@ Property / cites work: Lazy Abstraction with Interpolants for Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+A parametric segmentation functor for fully automatic and scalable array content analysis
+Normal rank
@@ Property / cites work @@
+Fluid Updates: Beyond Strong vs. Weak Updates
@@ Property / cites work: Fluid Updates: Beyond Strong vs. Weak Updates / rank @@
+Normal rank
@@ Property / cites work @@
+SMT-Based Array Invariant Generation
@@ Property / cites work: SMT-Based Array Invariant Generation / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Invariant Generation Using an Interpolating Saturation Prover
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank