Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
| 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 |
| Seiten | 199-213 |
| Serie | Lecture Notes in Computer Science ; 6538 |
| Nachgewiesen in | Scopus Dimensions |