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
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Jhala Ranjit, Schmidt David
Buchtitel: Verification, Model Checking and Abstract Interpretation (Band 6538)
Seitenbereich: 199-213
Verlag: Springer
Erscheinungsort: Berlin, Heidelberg, New York
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 6538
Status: Veröffentlicht
Veröffentlichungsjahr: 2011
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Verification, Model Checking and Abstract Interpretation (VMCAI 2011), Austin, undefined
ISBN: 978-3-642-18274-7
Autor*innen der Universität Münster
| Lammich, Peter | Institut für Informatik |
| Müller-Olm, Markus | Professur für Praktische Informatik (Prof. Müller-Olm) |
| Wenner, Alexander | Professur für Praktische Informatik (Prof. Müller-Olm) |