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路径查找器;可爱的;不明飞行物 引用于: 88文件 全部的 前5名275位作者引用 12 丹尼尔·科宁 4 阿里·古芬克尔 4 娜塔莎·莎莉吉娜 三 萨加·查基 三 段振华 三 奥马尔·因弗索 三 田聪 三 张楠 2 塞巴斯蒂安·巴丁 2 伊奥里·贝萨 2 德克·拜尔 2 布莱恩,马丁 2 Jörg Brauer 2 克拉克(Edmund Melson jun Clarke)。 2 卢卡斯·科迪罗 2 De Nicola,罗科 2 卢卡·迪·斯特法诺 2 哈达尔·弗兰克尔 2 马来K·加奈。 2 奥尔纳·格伦伯格 2 阿尔蒂·古普塔 2 阿什图什·古普塔 2 霍尔格·H·胡斯。 2 安迪·金 2 凯文·莱顿·布朗 2 安德烈亚斯·波德尔斯基 2 罗伊,苏巴吉特 2 菲利普·吕默 2 斯特里赫曼(Ofer Strichman) 2 斯特凡诺·托内塔 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 萨姆·贝利斯 1 Johannes Bechberger 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) 按年份列出的引文