Book Chapter: Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation

[springerlink:10.1007:978-3-642-18275-4_15]

Thomas Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner, Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation, Jhala, Ranjit and Schmidt, David (Ed.), Verification, Model Checking, and Abstract Interpretation, pp. 199-213, Springer Berlin / Heidelberg, 2011.

Download

[DOI]

Original article available at springerlink.com.

BibTeX

@incollection{springerlink:10.1007:978-3-642-18275-4_15,
  title = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation},
  booktitle = {Verification, Model Checking, and Abstract Interpretation},
  year = {2011},
  publisher = {Springer Berlin / Heidelberg},
  volume = {6538},
  pages = {199-213},
  author = {Thomas Gawlitza and Peter Lammich and Markus M{\"u}ller-Olm and Helmut Seidl and Alexander Wenner},
  editor = {Jhala, Ranjit and Schmidt, David},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-18275-4_15},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm
Alexander Wenner

Projects

Project

IFC for Mobile Components