Pages that link to "Item:Q5899068"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5899068):
Displayed 20 items.
- A complete refinement procedure for regular separability of context-free languages (Q264992) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Reducing concurrent analysis under a context bound to sequential analysis (Q1039852) (← links)
- Verifying parallel programs with dynamic communication structures (Q1959654) (← links)
- Model checking dynamic pushdown networks (Q2355386) (← links)
- Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis (Q3512480) (← links)
- Language Strength Reduction (Q3522077) (← links)
- On the Reachability Analysis of Acyclic Networks of Pushdown Systems (Q3541030) (← links)
- Verifying Parallel Programs with Dynamic Communication Structures (Q3637351) (← links)
- Unboundedness Problems for Languages of Vector Addition Systems. (Q5002804) (← links)
- Revisiting Underapproximate Reachability for Multipushdown Systems (Q5039520) (← links)
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous (Q5056000) (← links)
- Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism (Q5179049) (← links)
- Verifying Multithreaded Recursive Programs with Integer Variables (Q5179057) (← links)
- Interprocedural Analysis of Concurrent Programs Under a Context Bound (Q5458333) (← links)
- Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)