LCTD: test-guided proofs for C programs on LLVM (Q338629): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6648216
@@ Property / zbMATH DE Number: 6648216 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated testing
@@ Property / zbMATH Keywords: automated testing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic symbolic execution
@@ Property / zbMATH Keywords: dynamic symbolic execution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstraction refinement
@@ Property / zbMATH Keywords: abstraction refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+predicate abstraction
@@ Property / zbMATH Keywords: predicate abstraction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weakest precondition
@@ Property / zbMATH Keywords: weakest precondition / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CUTE
@@ Property / describes a project that uses: CUTE / 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 @@
+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 @@
+Threader
@@ Property / describes a project that uses: Threader / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YOGI
@@ Property / describes a project that uses: YOGI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+jCUTE
@@ Property / describes a project that uses: jCUTE / 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 @@
+Predator
@@ Property / describes a project that uses: Predator / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Vellvm
@@ Property / describes a project that uses: Vellvm / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCTD
@@ Property / describes a project that uses: LCTD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BoogiePL
@@ Property / describes a project that uses: BoogiePL / 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 @@
+Boolector
@@ Property / describes a project that uses: Boolector / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DART
@@ Property / describes a project that uses: DART / 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 @@
+LCT
@@ Property / describes a project that uses: LCT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / 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.1016/j.jlamp.2015.10.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2217390717
@@ Property / OpenAlex ID: W2217390717 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113870959
@@ Property / Wikidata QID: Q113870959 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:338629