Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut branches before looking for bugs: certifiably sound verification on relaxed slices |
scientific article |
Statements
Cut branches before looking for bugs: certifiably sound verification on relaxed slices (English)
0 references
2 February 2018
0 references
program slicing
0 references
trajectory-based semantics
0 references
verification
0 references
run-time errors
0 references
non-terminating loops
0 references
Coq formalization
0 references
0 references
