×

CPA检查器

swMATH ID: 7408
软件作者： 德克·拜尔、斯特凡·洛韦、菲利普·温德勒
描述： Cpachecker采用显式状态分析和谓词分析的顺序组合。（竞争贡献）。CPAchecker是一个开源的软件验证框架，基于可配置程序分析（CPA）的概念。我们提交了一个使用两种方法的顺序组合的CPAchecker配置。它从显式状态分析开始，如果在一段时间内找不到答案，则切换到带有可调整块编码和CEGAR的谓词分析。
主页： http://cpachecker.sosy-lab.org/
相关软件： 爆炸;CBMC公司;SLAM公司;z3（零3）;不明飞行物;吉隆坡机场;卫星抗体;SMT互联网;SeaHorn公司;有限责任公司;金刚狼;NuSMV公司;有限责任公司;薄片;螺纹加工工;捕食者;数学SAT5;自旋蛋白;伊莎贝尔/HOL;可爱的
引用于： 45文件

标准文章

2出版物描述软件 年份
使用显式值分析和谓词分析的顺序组合的Cpachecker。（竞争贡献）
Löwe，Stefan；米哈伊尔·曼德利金；菲利普·温德勒
2014
Cpachecker采用显式状态分析和谓词分析的顺序组合。（竞争贡献）
菲利普·温德勒
2013
全部的 前5名

123位作者引用

4 安德烈亚斯·波德尔斯基
3 德克·贝尔
3 段振华
3 田聪
3 张楠
2 亚历山德罗·西马蒂
2 马蒂亚斯·丹格尔
2 丹尼尔·迪特施
2 杜洪伟
2 阿里·古芬克尔
2 Jochen Hoenicke公司
2 菲利普·吕默
2 王蒙
2 菲利普·温德勒
1 阿尔巴古提·奥斯
1 弗朗西斯科·阿尔贝蒂
1 科尼利厄斯·阿斯切尔曼
1 Domagoj Babić
1 彼得·贝克曼
1 马雷克·巴拉诺夫斯基
1 吉里巴纳特
1 费边·鲍尔·马尔夸特
1 伊奥里·贝萨
1 丹尼·鲍尔森（Danny Bougsted Poulsen）
1 马特科·博廷坎
1 马克·布罗克施米特
1 罗伯特·布鲁托梅索
1 马雷克·查卢帕
1 列侬·查夫斯
1 Chechik，玛莎
1 卢卡斯·科迪罗
1 丹尼尔·雅库布
1 埃夫伦·埃尔米斯
1 吉登·恩斯特
1 亚历山德罗·范特奇
1 弗拉纳根，科马克
1 弗洛里安·弗洛恩
1 卡斯滕·福斯
1 伊莎贝尔·加西亚·孔特雷拉斯
1 杰克·J·加泽拉。
1 西尔维奥·吉拉尔迪
1 吉尔根·吉斯尔
1 斯特凡妮娅·格内西
1 马吕斯·格雷萨克斯
1 阿尔贝托·格里乔
1 苏米特·古尔瓦尼
1 阿什图什·古普塔
1 阿科斯·哈伊杜
1 简·哈尔特曼
1 何绍波
1 马蒂亚斯·海兹曼
1 凯乔·赫尔扬科
1 赫塞尔，杰拉
1 托马斯·亨辛格。
1 安德烈亚斯·霍尔泽
1 徐凯尔
1 兰吉特·贾拉
1 埃戈尔·乔治·卡彭科夫
1 巴巴拉·科尼格
1 伊戈尔·康诺夫（Igor V.Konnov）。
1 埃里克·科斯金
1 波胡斯拉夫·科埃纳
1 丹尼尔·科宁
1 朱尔·库科维奇
1 米贾·库尔琴斯基
1 文森特·兰根菲尔德
1 亨利克·劳科
1 杰罗姆·勒鲁
1 斯特凡·洛伊
1 李、谢
1 李毅
1 李勇
1 凯文·洛茨
1 鲁帕克·马朱姆达尔
1 考希·马利克
1 弗朗科·马扎蒂
1 佐尔坦·米斯克
1 大卫·莫尼奥（David P.Monniaux）。
1 穆提林（V.S.Mutilin）。
1 伊曼·纳拉萨姆迪亚
1 豪尔赫·纳瓦斯（Jorge A.Navas）。
1 德克·诺沃特卡
1 帕维尔·帕里泽克
1 阿琼·拉德哈克利什纳
1 茨沃尼米尔·拉卡马里奇
1 西尔维奥·兰伊斯
1 彼得·罗奇凯
1 马可·罗维里
1 安德烈·里巴尔琴科
1 奥利·萨里基维
1 阿里·萨拉马蒂
1 萨曼塔，罗普莎
1 巴斯蒂安·乔斯特·沙夫斯马
1 克里斯蒂安·夏尔哈特
1 克里斯蒂安·席林
1 坦尼娅·辛德勒。
1 施密特，大卫·A。
1 安妮·凯瑟琳·施穆克
1 彼得·施奈德·坎普
1 罗伯托·塞巴斯蒂亚尼
…还有23位作者
全部的 前5名

11篇连载文章中引用

4 自动推理杂志
3 理论计算机科学
3 程序设计中的逻辑和代数方法杂志
2 系统设计中的形式化方法
1 信息学报
1 国际通用系统杂志
1 Automatica公司
1 编程和计算机软件
1 组合优化期刊
1 计算机科学课堂讲稿
1 计算机科学中的逻辑方法
全部的 前5名

在7个字段中引用

43 计算机科学（68至XX）
8 数学逻辑和基础（03-XX）
3 系统论；控制（93至XX）
1 总体主题；集合（00-XX）
1 统计学（62-XX）
1 量子理论（81-XX）
1 运筹学、数学编程（90-XX）

按年份列出的引文