Quantified Heap Invariants for Object-Oriented Programs (Q4645747)
From MaRDI portal
scientific article; zbMATH DE number 6999995
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantified Heap Invariants for Object-Oriented Programs |
scientific article; zbMATH DE number 6999995 |
Statements
Quantified Heap Invariants for Object-Oriented Programs (English)
0 references
10 January 2019
0 references
Horn clause solving
0 references
memory models
0 references
software model checking
0 references
