Details
- Autor(en) / Beteiligte
- Titel
- LLVM2CSP: Extracting CSP Models from Concurrent Programs
- Ist Teil von
- NASA Formal Methods, p.500-505
- Ort / Verlag
- Berlin, Heidelberg: Springer Berlin Heidelberg
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- In this paper, we present the llvm2csp tool which extracts CSP models from the LLVM compiler intermediate representation of concurrent programs. The generation of CSP models is controlled by user annotations and designed to create models of different levels of abstraction for subsequent analysis with standard CSP tools.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 3642203973, 9783642203978ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/978-3-642-20398-5_39Titel-ID: cdi_springer_books_10_1007_978_3_642_20398_5_39
- Format
- –
- Schlagworte
- Communicate Sequential Process, Concurrent Program, Error Code, Intermediate Representation, Shared Memory