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 the normal view instead:
scientific article; zbMATH DE number 7467468
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7049086689949036
0 references
0.6602980494499207
0 references
0.6497898101806641
0 references
0.6485298871994019
0 references
0.6343364119529724
0 references
