Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

@inproceedings{Torre2009ReducingCC,
  title={Reducing Context-Bounded Concurrent Reachability to Sequential Reachability},
  author={Salvatore La Torre and P. Madhusudan and Gennaro Parlato},
  booktitle={CAV},
  year={2009}
}
  • Salvatore La Torre, P. Madhusudan, Gennaro Parlato
  • Published in CAV 2009
  • Computer Science
  • We give a translation from concurrent programs to sequential programs that reduces the context-bounded reachability problem in the concurrent program to a reachability problem in the sequential one. The translation has two salient features: (a) the sequential program tracks, at any time, the local state of only one thread (though it does track multiple copies of shared variables), and (b) all reachable states of the sequential program correspond to reachable states of the concurrent program… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    Explore key concepts

    Links to highly relevant papers for key concepts in this paper:

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 99 CITATIONS, ESTIMATED 99% COVERAGE

    Context-Bounded Analysis of TSO Systems

    VIEW 1 EXCERPT
    CITES METHODS

    Compositionality Entails Sequentializability

    VIEW 1 EXCERPT
    CITES BACKGROUND

    On Sequentializing Concurrent Programs

    VIEW 4 EXCERPTS
    CITES BACKGROUND

    The Language Theory of Bounded Context-Switching

    VIEW 2 EXCERPTS
    CITES METHODS & BACKGROUND

    FILTER CITATIONS BY YEAR

    2009
    2020

    CITATION STATISTICS

    • 5 Highly Influenced Citations

    References

    Publications referenced by this paper.