×

CBMC公司

swMATH ID: 9719
软件作者： Clarke E、Kroening D、Lerda F
描述： CBMC是用于ANSI-C和C++程序的有界模型检查器。它还支持使用Scoot的SystemC。它允许验证数组边界（缓冲区溢出）、指针安全、异常和用户特定的操作。此外，它还可以检查ANSI-C和C++与其他语言（如Verilog）的一致性。通过展开程序中的循环并将重新求解方程传递给决策程序来进行验证。虽然CBMC的目标是嵌入式软件，但它也支持使用malloc和new进行动态内存分配。有关CBMC的问题，请联系Daniel Kroening。
主页： http://www.cprover.org/cbmc/
相关软件： 爆炸；z3（零3）；超小卫星；自旋蛋白；CPA检查器；github；SLAM公司；吉隆坡机场；糠；CIL公司；SMT-LIB公司；卫星抗体；ASTREE公司；投掷；NuSMV公司；薄片；CVC4型；Java PathFinder；可爱的；不明飞行物
引用于： 88文件
全部的 前5名

275位作者引用

12 丹尼尔·科宁
4 阿里·古芬克尔
4 娜塔莎·莎莉吉娜
三 萨加·查基
三 段振华
三 奥马尔·因弗索
三 田聪
三 张楠
2 塞巴斯蒂安·巴丁
2 伊奥里·贝萨
2 德克·拜尔
2 布莱恩，马丁
2 Jörg Brauer
2 克拉克（Edmund Melson jun Clarke）。
2 卢卡斯·科迪罗
2 洛科·德尼古拉
2 卢卡·迪·斯特法诺
2 哈达尔·弗兰克尔
2 马来K·加奈。
2 奥尔纳·格伦伯格
2 阿尔蒂·古普塔
2 阿什图什·古普塔
2 霍尔格·H·胡斯。
2 国王，安迪
2 凯文·莱顿·布朗
2 安德烈亚斯·波德尔斯基
2 罗伊，苏巴吉特
2 菲利普·吕默
2 斯特里赫曼（Ofer Strichman）
2 Stefano托内塔
2 阿里亚克西·齐托维奇
2 塞雷内拉·瓦利亚尼
2 赫尔穆特·维思
2 王、孟
2 亚历山大·维格尔
2 乔治·威森巴赫
2 托马斯·怀斯
2 Christoph M.温特斯泰格。
2 奥列格·谢尔盖维奇·扎金
1 亚历山德罗·阿巴特
1 帕罗什·阿齐兹·阿卜杜拉
1 艾丽卡·阿尔布拉汉姆
1 帕拉克·阿加瓦尔
1 Nazareno M.阿吉雷。
1 穆拉德·阿洪多夫
1 塔斯尼姆·纳赛尔·叶海亚
1 弗朗西斯科·阿尔贝蒂
1 哈桑·阿姆贾德
1 安德鲁·W·阿佩尔。
1 马塞洛·阿罗约
1 塞皮德·阿萨迪
1 普拉纳夫，阿沙尔
1 穆罕默德·法乌齐（Mohamed Faouzi Atig）
1 罗伯托·巴格纳拉
1 阿德里安·巴林
1 JiříBarnat
1 克拉克·W·巴雷特。
1 费边·鲍尔·马尔夸特
1 Bayless，山姆
1 约翰内斯·贝斯伯格
1 伦纳特·贝林格
1 阿纳布·巴塔查里亚
1 迪帕利·布塔达
1 汤姆·比恩米勒
1 阿明·比尔
1 马丁·布利查
1 布洛克，罗德里克
1 弗朗索瓦·博伯特
1 丹尼·鲍尔森（Danny Bougsted Poulsen）
1 波士顿，布雷特
1 艾哈迈德·博阿贾尼
1 塞缪尔·布雷斯
1 安吉洛·布里洛特
1 詹姆斯·布罗瑟斯顿
1 罗伯特·布鲁托梅索
1 尼古拉斯·比舍尔
1 曹勤祥
1 卡利埃、马蒂厄
1 乔恩，帕沃
1 查克拉波蒂，苏普拉特克
1 普兰提克·查特吉
1 萨迪普塔·查托帕迪耶
1 列侬·查夫斯
1 玛莎·契契克
1 扎卡里亚·奇哈尼
1 科宁，诺琳
1 赫莱内·科拉维扎
1 加布里埃尔·科罗纳
1 帕特里克·库索特
1 拉希亚库索
1 大卫·J·柯里。
1 雷蒙·达赫塞特
1 马蒂亚斯·丹格尔
1 克里斯蒂娜·大卫
1 尤利娅·德米扬诺娃
1 丹尼尔·迪特施
1 乔伊·多兹
1 约西亚·多兹
1 多兹，迈克
1 阿拉斯泰尔·唐纳森。
…还有175位作者
全部的 前5名

19篇连载文章中引用

17 系统设计中的形式化方法
5 自动推理杂志
三 理论计算机科学
三 计算机科学中的逻辑方法
2 信息学报
2 人工智能
2 国际并行程序设计杂志
2 计算的形式方面
2 程序设计中的逻辑和代数方法杂志
1 计算机与系统科学杂志
1 计算机科学与技术杂志
1 实时系统
1 控制论与系统分析
1 数学与人工智能年鉴
1 约束条件
1 信息计算杂志
1 优化方法和软件
1 组合优化期刊
1 逻辑程序设计理论与实践
全部的 前5名

11个领域引用

85 计算机科学（68至XX）
6 数学逻辑和基础（03-XX）
5 信息与通信理论、电路（94-XX）
2 运筹学、数学规划（90-XX）
2 生物学和其他自然科学（92-XX）
2 系统论；控制（93至XX）
1 组合数学（05-XX）
1 数值分析（65-XX）
1 流体力学（76-XX）
1 量子理论（81-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文