Predicate abstraction with indexed predicates (Q5277793)
From MaRDI portal
scientific article; zbMATH DE number 6744044
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicate abstraction with indexed predicates |
scientific article; zbMATH DE number 6744044 |
Statements
Predicate abstraction with indexed predicates (English)
0 references
12 July 2017
0 references
formal verification
0 references
abstract interpretation
0 references
cache-coherence protocols
0 references
infinite-state verification
0 references
invariant synthesis
0 references
predicate abstraction
0 references
