Forest automata for verification of heap manipulation (Q2441715): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-012-0150-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2065248162
@@ Property / OpenAlex ID: W2065248162 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic Abstraction for Programs with Dynamic Memory Heaps
+Normal rank
@@ Property / cites work @@
+Computing Simulations over Tree Automata
@@ Property / cites work: Computing Simulations over Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+When Simulation Meets Antichains
@@ Property / cites work: When Simulation Meets Antichains / rank @@
+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 @@
+Programs with Lists Are Counter Automata
@@ Property / cites work: Programs with Lists Are Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852015
@@ Property / cites work: Q2852015 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Forest automata for verification of heap manipulation
+Normal rank
@@ Property / cites work @@
+Decidable logics combining heap structures and data
+Normal rank
@@ Property / cites work @@
+Automated Verification of Shape and Size Properties Via Separation Logic
+Normal rank
@@ Property / cites work @@
+Scalable Shape Analysis for Systems Code
@@ Property / cites work: Scalable Shape Analysis for Systems Code / rank @@
+Normal rank