LCTD: test-guided proofs for C programs on LLVM (Q338629): 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 @@
+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
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+LCTD: test-guided proofs for C programs on LLVM
@@ Property / cites work: LCTD: test-guided proofs for C programs on LLVM / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing the LLVM intermediate representation for verified program transformations
+Normal rank
@@ Property / cites work @@
+Software model checking
@@ Property / cites work: Software model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Software Model Checking: Searching for Computations in the Abstract or the Concrete
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426384
@@ Property / cites work: Q4426384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804895
@@ Property / cites work: Q4804895 / rank @@
+Normal rank
@@ Property / cites work @@
+Loop summarization using state and transition invariants
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank