Compositional satisfiability solving in separation logic (Q2234106): Difference between revisions

@@ Property / cites work @@
+Decidability of the universal theory of natural numbers with addition and divisibility
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+A decision procedure for satisfiability in separation logic with inductive predicates
+Normal rank
@@ Property / cites work @@
+Biabduction (and related problems) in array separation logic
+Normal rank
@@ Property / cites work @@
+On the complexity of pointer arithmetic in separation logic
+Normal rank
@@ Property / cites work @@
+Compositional Shape Analysis by Means of Bi-Abduction
+Normal rank
@@ Property / cites work @@
+The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains
+Normal rank
@@ Property / cites work @@
+Compositional entailment checking for a fragment of separation logic
+Normal rank
@@ Property / cites work @@
+A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints
+Normal rank
@@ Property / cites work @@
+Deciding Entailments in Inductive Separation Logic with Tree Automata
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
+Normal rank
@@ Property / cites work @@
+A separation logic with data: small models and automation
+Normal rank
@@ Property / cites work @@
+A decision procedure for string logic with quadratic equations, regular expressions and length constraints
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Heap-Based Programs
@@ Property / cites work: Satisfiability Modulo Heap-Based Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Frame inference for inductive entailment proofs in separation logic
+Normal rank
@@ Property / cites work @@
+A decidable fragment in separation logic with inductive predicates and arithmetic
+Normal rank
@@ Property / cites work @@
+The Diophantine Problem for Addition and Divisibility
+Normal rank
@@ Property / cites work @@
+Decidable logics combining heap structures and data
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Separation Logic Modulo Theories
@@ Property / cites work: Separation Logic Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
+Normal rank
@@ Property / cites work @@
+Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
+Normal rank
@@ Property / cites work @@
+Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Bi-Abduction with Pure Properties for Specification Inference
+Normal rank
@@ Property / cites work @@
+Satisfiability of compositional separation logic with tree predicates and data constraints
+Normal rank