LCTD: test-guided proofs for C programs on LLVM (Q338629)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: LCTD: test-guided proofs for C programs on LLVM |
scientific article; zbMATH DE number 6648216
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | LCTD: test-guided proofs for C programs on LLVM |
scientific article; zbMATH DE number 6648216 |
Statements
LCTD: test-guided proofs for C programs on LLVM (English)
0 references
7 November 2016
0 references
automated testing
0 references
verification
0 references
dynamic symbolic execution
0 references
abstraction refinement
0 references
predicate abstraction
0 references
weakest precondition
0 references
