Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
No abstract available.
Related papers
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis CAV 2008
- On Sequentializing Concurrent Programs SAS 2011
- Context-Bounded Analysis for POWER TACAS 2017
- Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures POPL 2026
- Verification under TSO with an infinite Data Domain TACAS 2024
- CUBA: interprocedural Context-UnBounded Analysis of concurrent programs PLDI 2018
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences TOPLAS 2021
- Verification of programs under the release-acquire semantics PLDI 2019