×

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个字段中引用

2 计算机科学(68至XX)

按年份列出的引文