Counterexample-Guided Abstraction Refinement (Q56225930)
No description defined
- CEGAR
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Counterexample-Guided Abstraction Refinement |
No description defined |
|
Statements
Counterexample-Guided Abstraction Refinement (English)
0 references
2000
0 references
154-169
0 references
