DD验证 swMATH ID: 20226 软件作者： Witkowski，T.、Blanc，N.、Kroening，D.、Weissenbacher，G 描述： DDVerify是用于检查Linux设备驱动程序是否存在特定错误的工具。它会自动检测模块提供的操作，并生成一个测试工具来揭示内核API的特定误用。DDverify生成的线束是普通C模型，可以传递给SATABS或CBMC等验证工具。 主页： http://www.cprover.org/ddverify/ 相关软件： SLAM公司；CBMC公司；卫星抗体；爆炸；自旋蛋白；贝博普；CPA检查器；MCMAS公司；洛克史密斯；地精；魔法；CIL公司；DPF（DPF）；金刚狼；克拉托斯；超小卫星；斯科特；萨帕托；Velev SAT基准；焦点 引用于： 9文件 全部的 前5名17位作者引用 三 丹尼尔·科宁 2 劳拉·博泽利 2 阿尔贝托·莫利纳里 2 Angelo蒙塔纳里 2 阿德里亚诺·佩隆 2 皮埃特罗·萨拉 2 维萨尔·沃达尼 2 托马斯·沃尔 1 杰拉德·巴斯勒 1 阿明·比尔 1 达姆，丹尼斯·雷内 1 奥尔纳·格伦伯格 1 亚历山大·凯泽。 1 阿卡什·拉尔 1 米歇尔·马祖奇 1 代表，Thomas W。 1 赫尔穆特·塞德尔 4篇连载文章中引用 2 信息与计算 2 系统设计中的形式化方法 1 理论计算机科学 1 塔尔图大学数学学位论文 在2个字段中引用 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文