Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
Abstract elided by the publisher.
Related papers
- Interprocedural Analysis of Concurrent Programs Under a Context Bound TACAS 2008
- Reducing Context-Bounded Concurrent Reachability to Sequential Reachability CAV 2009
- Context-Bounded Analysis for POWER TACAS 2017
- Delay-bounded scheduling POPL 2011
- Context-Bounded Analysis of Concurrent Queue Systems TACAS 2008
- Verification of programs under the release-acquire semantics PLDI 2019
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads TACAS 2009
- On Sequentializing Concurrent Programs SAS 2011