Verification of multi-linked heaps (Q439948): Difference between revisions

@@ Property / cites work @@
+Q4551152
@@ Property / cites work: Q4551152 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+MODULAR RANKING ABSTRACTION
@@ Property / cites work: MODULAR RANKING ABSTRACTION / rank @@
+Normal rank
@@ Property / cites work @@
+Shape Analysis of Single-Parent Heaps
@@ Property / cites work: Shape Analysis of Single-Parent Heaps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472235
@@ Property / cites work: Q4472235 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Termination Proofs for Programs with Shape-Shifting Heaps
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Programs with Lists Are Counter Automata
@@ Property / cites work: Programs with Lists Are Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic-Based Framework for Reasoning about Composite Data Structures
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906386
@@ Property / cites work: Q3906386 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability results on two-variable logics
@@ Property / cites work: Undecidability results on two-variable logics / rank @@
+Normal rank
@@ Property / cites work @@
+A combination framework for tracking partition sizes
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification by augmented finitary abstraction
@@ Property / cites work: Verification by augmented finitary abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank