Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661): Difference between revisions

@@ Property / describes a project that uses @@
+coreStar
@@ Property / describes a project that uses: coreStar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclist
@@ Property / describes a project that uses: Cyclist / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Infer
@@ Property / describes a project that uses: Infer / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2543538425
@@ Property / OpenAlex ID: W2543538425 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07041
@@ Property / arXiv ID: 1610.07041 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for Decision Problems in Separation Logic with General Inductive Predicates
+Normal rank
@@ Property / cites work @@
+Shape Analysis for Composite Data Structures
@@ Property / cites work: Shape Analysis for Composite Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Permission accounting in separation logic
@@ Property / cites work: Permission accounting in separation logic / 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 @@
+Automated Cyclic Entailment Proofs in Separation Logic
+Normal rank
@@ Property / cites work @@
+A decision procedure for satisfiability in separation logic with inductive predicates
+Normal rank
@@ Property / cites work @@
+Model checking for symbolic-heap separation logic with inductive predicates
+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
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+From Separation Logic to Hyperedge Replacement and Back
+Normal rank
@@ Property / cites work @@
+Compositional Entailment Checking for a Fragment of Separation Logic
+Normal rank
@@ Property / cites work @@
+Forest automata for verification of heap manipulation
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Tree Width of Separation Logic with Recursive Definitions
+Normal rank
@@ Property / cites work @@
+Deciding Entailments in Inductive Separation Logic with Tree Automata
+Normal rank
@@ Property / cites work @@
+Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
+Normal rank
@@ Property / cites work @@
+Separation Logic Modulo Theories
@@ Property / cites work: Separation Logic Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Runtime Checking for Separation Logic
@@ Property / cites work: Runtime Checking for Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / 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 @@
+Inference of Field-Sensitive Reachability and Cyclicity
+Normal rank