Counterexample-guided focus (Q5255078)
From MaRDI portal
scientific article; zbMATH DE number 6445100
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counterexample-guided focus |
scientific article; zbMATH DE number 6445100 |
Statements
Counterexample-guided focus (English)
0 references
11 June 2015
0 references
abstraction refinement
0 references
data structures
0 references
predicate abstraction
0 references
quantified invariants
0 references
shape analysis
0 references
