Proof automation for functional correctness in separation logic (Q5739977)
From MaRDI portal
scientific article; zbMATH DE number 6601623
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof automation for functional correctness in separation logic |
scientific article; zbMATH DE number 6601623 |
Statements
Proof automation for functional correctness in separation logic (English)
0 references
7 July 2016
0 references
proof planning
0 references
functional correctness
0 references
invariant discovery
0 references
separation logic
0 references
substructural logic
0 references
automated theorem proving
0 references
