Model checking dynamic pushdown networks (Q2355386): Difference between revisions

@@ Property / cites work @@
+On the Reachability Analysis of Acyclic Networks of Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+A generic approach to the static analysis of concurrent programs with procedures
+Normal rank
@@ Property / cites work @@
+On decidability of LTL model checking for process rewrite systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2754086
@@ Property / cites work: Q2754086 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking LTL with regular valuations for pushdown systems
+Normal rank
@@ Property / cites work @@
+Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
+Normal rank
@@ Property / cites work @@
+On the analysis of interacting pushdown systems
@@ Property / cites work: On the analysis of interacting pushdown systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
+Normal rank
@@ Property / cites work @@
+Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
+Normal rank
@@ Property / cites work @@
+Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
+Normal rank
@@ Property / cites work @@
+FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying parallel programs with dynamic communication structures
+Normal rank
@@ Property / cites work @@
+Efficient CTL Model-Checking for Pushdown Systems
@@ Property / cites work: Efficient CTL Model-Checking for Pushdown Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Dynamic Pushdown Networks
@@ Property / cites work: Model Checking Dynamic Pushdown Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Weighted Dynamic Pushdown Networks
@@ Property / cites work: Weighted Dynamic Pushdown Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying safety properties of concurrent Java programs using 3-valued logic
+Normal rank