An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An adaptation-complete proof system for local reasoning about cloud storage systems |
scientific article; zbMATH DE number 7467468
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An adaptation-complete proof system for local reasoning about cloud storage systems |
scientific article; zbMATH DE number 7467468 |
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
