Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366)
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: Cut branches before looking for bugs: certifiably sound verification on relaxed slices |
scientific article; zbMATH DE number 6833748
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut branches before looking for bugs: certifiably sound verification on relaxed slices |
scientific article; zbMATH DE number 6833748 |
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
