×

迪维尔

swMATH ID: 1938
软件作者： Malay K.Ganai。；阿蒂·古普塔；普拉纳夫，阿沙尔
描述： DiVer：基于SAT的模型检查平台，用于验证大规模系统。我们提出了一个基于SAT的模型检查平台（DiVer），该平台基于健壮且可扩展的算法，紧密集成用于验证大规模工业设计。DiVer拥有各种基于SAT的引擎，每个引擎都针对验证大型设计时固有的容量和性能问题。这些引擎及其各自的作用如下：基于工作站网络的有界模型检查（BMC）和分布式BMC，用于证伪，基于证明的迭代抽象（PBIA），基于SAT的无界模型检查和归纳，用于证明，高效记忆建模（EMM）以及它与BMC中的PBIA相结合，用于验证具有多个存储器（具有多个端口和任意初始状态）的嵌入式内存系统。通过几个工业案例研究，我们描述了这些发动机的相互作用，强调了它们在验证的每个步骤中的作用。DiVer已经成熟了三年多，并在多个行业环境中广泛使用。由于拥有高效和灵活的基础设施，它为研发提供了一个非常富有成效的核查环境。
主页： http://rd.springer.com/chapter/10.1007/978-3-540-31980-1_41
相关软件： 糠;卫星抗体;CBMC公司;贝博普;自旋蛋白;焦点检查;伯克明州;StEAM公司;SLAM公司;CIL公司;MOPS公司;欧兹;Uppaal2k公司;活力;Java路径查找器;ASTREE公司;CSSV公司;班德拉;茂物;CADP公司
引用于： 9文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
DiVer：基于SAT的模型检查平台，用于验证大规模系统。 Zbl 1087.68588号
马来K·加奈。;阿尔蒂·古普塔;普拉纳夫·阿沙尔
2005
全部的 前5名

16位作者引用

5 马来K·加奈。
4 阿尔蒂·古普塔
三 普拉纳夫·阿沙尔
2 弗兰乔·伊万契奇
2 杨紫江
1 马修·塞西尔
1 赫莱内·科拉维扎
1 阿琼·库马尔·古普塔
1 贾亚拉利萨，G。
1 达努贾卡斯图里亚特纳
1 Truc T.Nguyen。
1 莱安德罗·帕尔多
1 米歇尔·鲁赫
1 伊利亚·什利亚克特
1 拉马萨米乌塔亚库马尔
1 王超

4篇连载文章中引用

1 理论计算机科学
1 分形
1 数学科学公报
1 统计方法与应用
全部的 前5名

在8个字段中引用

6 计算机科学（68至XX）
1 拓扑群、李群（22日至XX日）
1 测量和集成（28-XX）
1 动力系统和遍历理论（37至XX）
1 功能分析（46倍X倍）
1 整体分析，流形分析（58-XX）
1 统计学（62-XX）
1 生物学和其他自然科学（92-XX）

按年份列出的引文