Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
From MaRDI portal
Publication:3512480
DOI10.1007/978-3-540-70545-1_7zbMATH Open1155.68368OpenAlexW1554834491MaRDI QIDQ3512480FDOQ3512480
Authors: Akash Lal, Thomas Reps 
Publication date: 15 July 2008
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_7
Recommendations
- Reducing concurrent analysis under a context bound to sequential analysis
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
- Context-bounded analysis for concurrent programs with dynamic creation of threads
- Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
Cites Work
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Precise interprocedural analysis through linear algebra
- Lazy abstraction
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
- Summarizing procedures in concurrent programs
- Precise interprocedural dataflow analysis with applications to constant propagation
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
Cited In (22)
- Reachability of scope-bounded multistack pushdown systems
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
- Model checking with bounded context switching
- Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
- Symbolic predictive analysis for concurrent programs
- Model Checking Concurrent Programs
- Data Multi-Pushdown Automata
- Tools and Algorithms for the Construction and Analysis of Systems
- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
- Compositionality Entails Sequentializability
- Bounded Context Switching for Valence Systems
- Games on Multi-stack Pushdown Systems
- Budget-bounded model-checking pushdown systems
- Faster Algorithms for Weighted Recursive State Machines
- Context-Bounded Analysis of TSO Systems
- Context-bounded analysis for concurrent programs with dynamic creation of threads
- Reducing concurrent analysis under a context bound to sequential analysis
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- On the Complexity of Bounded Context Switching.
- The language theory of bounded context-switching
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
- Reachability of multistack pushdown systems with scope-bounded matching relations
This page was built for publication: Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3512480)
