impara
所属分类：大数据
开发工具：C++
文件大小：329KB
下载次数：0
上传日期：2017-01-21 19:49:38
上 传 者：
sh-1993
说明： 并发程序的模型检查器
(model checker for concurrent programs)
文件列表:
LICENSE (1857, 2017-01-22)
benchmark-example-impara.xml (1448, 2017-01-22)
papers (0, 2017-01-22)
papers\fmcad13 (0, 2017-01-22)
papers\fmcad13\IEEEabrv.bib (17781, 2017-01-22)
papers\fmcad13\IEEEtran.bst (59508, 2017-01-22)
papers\fmcad13\IEEEtran.cls (220413, 2017-01-22)
papers\fmcad13\Makefile (90579, 2017-01-22)
papers\fmcad13\bib.bib (31985, 2017-01-22)
papers\fmcad13\llncs.cls (41216, 2017-01-22)
papers\fmcad13\main.tex (74537, 2017-01-22)
papers\fmcad13\splncs.bst (21308, 2017-01-22)
papers\fmcad13\symbols.inc (4984, 2017-01-22)
papers\fmcad13\takeout.txt (12177, 2017-01-22)
papers\simpor (0, 2017-01-22)
papers\simpor\Makefile (195, 2017-01-22)
papers\simpor\db.bib (33331, 2017-01-22)
papers\simpor\llncs.cls (42406, 2017-01-22)
papers\simpor\main.tex (10329, 2017-01-22)
src (0, 2017-01-22)
src\Makefile (105, 2017-01-22)
src\config.inc (16, 2017-01-22)
src\config.inc.template (16, 2017-01-22)
src\impara (0, 2017-01-22)
src\impara\Makefile (2631, 2017-01-22)
src\impara\binsearch_utils.cpp (2927, 2017-01-22)
src\impara\binsearch_utils.h (438, 2017-01-22)
src\impara\cover.cpp (19361, 2017-01-22)
src\impara\domains (0, 2017-01-22)
src\impara\domains\interval_dom.cpp (13850, 2017-01-22)
src\impara\domains\interval_dom.h (1490, 2017-01-22)
src\impara\domains\intervals.h (3217, 2017-01-22)
src\impara\dot_output.cpp (7900, 2017-01-22)
src\impara\impara_join.cpp (4711, 2017-01-22)
src\impara\impara_join.h (659, 2017-01-22)
src\impara\impara_parse_options.cpp (28817, 2017-01-22)
src\impara\impara_parse_options.h (2526, 2017-01-22)
... ...
Impara is a software model checker for multi-threaded C programs with POSIX and WIN 32 threads.
[SVCOMP 2016: Binary and Sources](https://github.com/bjowac/impara/releases/tag/0.4.5)
Use the SVCOMP binary or build yourself:
* Obtain CBMC (tested with latest SVN version 5927):
svn co http://www.cprover.org/svn/cbmc/trunk cbmc
* Set the path to CBMC in the Impara config file. For this, please modify variable CBMC in file:
impara/trunk/src/config.template
copy the file to impara/trunk/src/config.
* Run make in directory impara/trunk/src
近期下载者：
相关文件：
收藏者：