Llvm2csp: Extracting Csp Models From Concurrent Programs

Moritz Kleine,Bjoern Bartels,Thomas Goethel,Steffen Helke,Dirk Prenzel

NFM'11 Proceedings of the Third international conference on NASA Formal methods（2011）

引用 3|浏览0

暂无评分

摘要

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.

查看译文

关键词

CSP model,standard CSP tool,LLVM compiler intermediate representation,concurrent program,different level,llvm2csp tool,subsequent analysis,user annotation,csp model

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要