Value Slice: A New Slicing Concept for Scalable Property Checking (Q5194951)
From MaRDI portal
scientific article; zbMATH DE number 7105932
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Value Slice: A New Slicing Concept for Scalable Property Checking |
scientific article; zbMATH DE number 7105932 |
Statements
Value Slice: A New Slicing Concept for Scalable Property Checking (English)
0 references
17 September 2019
0 references
thin slice
0 references
original program
0 references
execution state
0 references
program point
0 references
control dependence
0 references
