Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-70545-1_33
+Normal rank
@@ Property / OpenAlex ID @@
+W1606654639
@@ Property / OpenAlex ID: W1606654639 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic Abstraction for Programs with Dynamic Memory Heaps
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Infinite-State Processes with Global Conditions
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of systems with many identical timed processes
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / 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 @@
+Shape Analysis for Composite Data Structures
@@ Property / cites work: Shape Analysis for Composite Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535007
@@ Property / cites work: Q4535007 / 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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Termination Proofs for Programs with Shape-Shifting Heaps
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4936148
@@ Property / cites work: Q4936148 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Verifying properties of well-founded linked lists
@@ Property / cites work: Verifying properties of well-founded linked lists / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A closed-form evaluation for Datalog queries with integer (gap)-order constraints
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank