Budget-bounded model-checking pushdown systems (Q479843): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-014-0207-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1996831638
@@ Property / OpenAlex ID: W1996831638 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
+Normal rank
@@ Property / cites work @@
+Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
+Normal rank
@@ Property / cites work @@
+Adjacent Ordered Multi-Pushdown Systems
@@ Property / cites work: Adjacent Ordered Multi-Pushdown Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
@@ Property / cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Delay-bounded scheduling
@@ Property / cites work: Delay-bounded scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Counter Machines Revisited
@@ Property / cites work: Reversal-Bounded Counter Machines Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4089754
@@ Property / cites work: Q4089754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing concurrent analysis under a context bound to sequential analysis
+Normal rank
@@ Property / cites work @@
+Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
+Normal rank
@@ Property / cites work @@
+Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations
+Normal rank
@@ Property / cites work @@
+Q2957490
@@ Property / cites work: Q2957490 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
+Normal rank
@@ Property / cites work @@
+Summarizing procedures in concurrent programs
@@ Property / cites work: Summarizing procedures in concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Model Checking Multithreaded Programs with Asynchronous Atomic Methods
+Normal rank
@@ Property / cites work @@
+Computer science today. Recent trends and developments
+Normal rank