Join-lock-sensitive forward reachability analysis for concurrent programs with dynamic process creation
Gawlitza Thomas, Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Jhala Ranjit, Schmidt David
Book title: Verification, Model Checking and Abstract Interpretation (Volume 6538)
Page range: 199-213
Publishing company: Springer
Place of publication: Berlin, Heidelberg, New York
Title of series: Lecture Notes in Computer Science
Volume of series: 6538
Status: Published
Release year: 2011
Language in which the publication is written: English
Conference: Verification, Model Checking and Abstract Interpretation (VMCAI 2011), Austin, undefined
ISBN: 978-3-642-18274-7
Authors from the University of Münster
| Lammich, Peter | Institute of Computer Science |
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |
| Wenner, Alexander | Professorship for practical computer science (Prof. Müller-Olm) |