KIT | KIT-Bibliothek | Impressum | Datenschutz

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



Originalveröffentlichung
DOI: 10.1007/978-3-642-18275-4_15
Scopus
Zitationen: 19
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2011
Sprache Englisch
Identifikator ISBN: 978-3-642-18274-7
ISSN: 0302-9743
KITopen-ID: 1000120893
Erschienen in Verification, Model Checking, and Abstract Interpretation. Hrsg.: R. Jhala
Veranstaltung 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011), Austin, TX, USA, 23.01.2011 – 25.01.2011
Verlag Springer Nature Switzerland, Cham, CH
Seiten 199-213
Serie Lecture Notes in Computer Science ; 6538
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page