Automata-based verification of programs with tree updates (Q845236): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-009-0108-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1604924060
@@ Property / OpenAlex ID: W1604924060 / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+Context logic as modal logic
@@ Property / cites work: Context logic as modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tree automata with one memory set constraints and cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Tree Automata with Memory, Visibility and Structural Constraints
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197318
@@ Property / cites work: Q3197318 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Balanced Trees
@@ Property / cites work: Verifying Balanced Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Shape and Size Properties Via Separation Logic
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank