LLVM2CSP: Extracting CSP Models from Concurrent Programs

Cite this paper

@inproceedings{Kleine2011LLVM2CSPEC, title={LLVM2CSP: Extracting CSP Models from Concurrent Programs}, author={Moritz Kleine and Bj{\"{o}rn Bartels and Thomas G{\"{o}thel and Steffen Helke and Dirk Prenzel}, booktitle={NASA Formal Methods}, year={2011} }