Reasoning about block-based cloud storage systems via separation logic (Q2087457): Difference between revisions

@@ Property / cites work @@
+Hash function design for cloud storage data auditing
+Normal rank
@@ Property / cites work @@
+Local reasoning about a copying garbage collector
@@ Property / cites work: Local reasoning about a copying garbage collector / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for recursive procedures in separation logic
+Normal rank
@@ Property / cites work @@
+Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
+Normal rank
@@ Property / cites work @@
+Model checking for symbolic-heap separation logic with inductive predicates
+Normal rank
@@ Property / cites work @@
+A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints
+Normal rank
@@ Property / cites work @@
+A decidable fragment in separation logic with inductive predicates and arithmetic
+Normal rank
@@ Property / cites work @@
+Biabduction (and related problems) in array separation logic
+Normal rank
@@ Property / cites work @@
+Satisfiability of compositional separation logic with tree predicates and data constraints
+Normal rank
@@ Property / cites work @@
+Q4738240
@@ Property / cites work: Q4738240 / rank @@
+Normal rank
@@ Property / cites work @@
+Deny-Guarantee Reasoning
@@ Property / cites work: Deny-Guarantee Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for separation logic with magic wand
+Normal rank
@@ Property / cites work @@
+A relational model of types-and-effects in higher-order concurrent separation logic
+Normal rank
@@ Property / cites work @@
+Verify heaps via unified model checking
@@ Property / cites work: Verify heaps via unified model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient verification of imperative programs using auto2
+Normal rank
@@ Property / cites work @@
+Finding Polynomial Loop Invariants for Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Local reasoning about the presence of bugs: incorrectness separation logic
+Normal rank
@@ Property / cites work @@
+An adaptation-complete proof system for local reasoning about cloud storage systems
+Normal rank
@@ Property / cites work @@
+Compositional Shape Analysis by Means of Bi-Abduction
+Normal rank
@@ Property / cites work @@
+Automated verification of shape, size and bag properties via user-defined predicates in separation logic
+Normal rank