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

@@ 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