An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An adaptation-complete proof system for local reasoning about cloud storage systems |
scientific article |
Statements
An adaptation-complete proof system for local reasoning about cloud storage systems (English)
0 references
1 February 2022
0 references
local reasoning
0 references
completeness
0 references
separation logic
0 references
predicate-transformation semantics
0 references
cloud storage systems
0 references
