狼 swMATH ID: 1299 软件作者: 沙龙·巴纳;Ziv Glazberg;Ishai Rabinovitz 描述: Wolf–使用正式方法的并发软件的bug猎人Wolf是IBM Haifa开发的并发C程序的“按钮式”模型检查器。它直接从C代码中自动生成模型和规范。目前,Wolf使用基于BDD的符号方法与引导搜索框架相结合。根据我们的实验,这些方法补充了软件模型检查的显式探索方法 主页: https://www.research.ibm.com/haifa/projects/verification/RB_Homepage/ps/wolf.pdf 关键词: 程序的规范和验证 相关软件: Java PathFinder 引用于: 2文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Wolf–使用形式化方法的并发软件的错误搜寻器。 Zbl 1081.68605号莎朗·巴纳;兹夫·格拉兹堡;Ishai Rabinovitz 2005 全部的 前5名6位作者引用 1 莎朗·巴纳 1 兹夫·格拉兹堡 1 Ishai Rabinovitz 1 穆利萨吉夫 1 阿萨夫·舒斯特 1 奥哈德·沙查姆 连载1篇 1 并行与分布式计算杂志 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文