LLVM2CSP: Extracting CSP Models from Concurrent Programs
LLVM2CSP: Extracting CSP Models from Concurrent Programs
复制标题
LLVM2CSP：从并发程序中提取 CSP 模型
DOI：
10.1007/978-3-642-20398-5_39
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Dirk Prenzel
中科院分区：
文献类型：
--
作者：
Moritz Kleine;Björn Bartels;Thomas Göthel;Steffen Helke;Dirk Prenzel
在本文中，我们提出了ellvm2csp工具，提取CSP模型从LLVM编译器的并发程序的中间表示。CSP模型的生成由用户注释控制，旨在创建不同抽象级别的模型，以便使用标准CSP工具进行后续分析。
In this paper, we present thellvm2csptool 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.
登录
查看更多内容
DOI：
10.1109/tase.2009.58
发表时间：
2009
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
Moritz Kleine;B. Bartels;Thomas Göthel;S. Glesner
通讯作者：
S. Glesner
低级软件程序的形式化建模和验证
DOI：
10.1109/qsic.2010.67
发表时间：
2010
期刊：
2010 10th International Conference on Quality Software
影响因子：
--
作者：
B. Bartels;S. Glesner
通讯作者：
S. Glesner
基于CSP模型的低级代码验证
DOI：
10.1007/978-3-642-10452-7_18
发表时间：
2009
期刊：
影响因子：
--
作者：
M. Kleine;S. Helke
通讯作者：
S. Helke
自动生成 CSP 规范
DOI：
--
发表时间：
2003
期刊：
Journal of universal computer science (Online)
影响因子：
--
作者：
Frantisek Scuglik;M. Svéda
通讯作者：
M. Svéda