WPDS公司++ swMATH ID: 33482 软件作者： Balakrishnan，G。；代表，T。；基德，N。；Lal，A。；Lim，J。；梅尔斯基，D。；Gruian，R。；Yong，S。；Chen，C.-H。；Teitelbaum，T。 描述： 使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。本文介绍了一个用于x86可执行文件模型检查的工具集。该工具集的成员包括CodeSurfer/x86、WPDS++和Path Inspector。CodeSurfer/x86用于以加权下推系统的形式从可执行文件中提取模型。WPDS++是一个用于回答加权下推系统上的广义可达性查询的库。路径检查器是一个构建在CodeSurfer和WPDS++之上的软件模型检查器，支持有关程序可能的控制配置的安全查询。 主页： https://link.springer.com/chapter/10.1007/11513988_17 相关软件： github;雅克斯塔布;LTL2BA公司;CBMC公司;投掷;吉隆坡机场;自旋蛋白;雷神之锤;BAP（BAP）;BitBlaze公司;Java路径查找器;星期六4j;戈亚纳;CodeSurfer（代码浏览器）;StEAM公司;TVOC公司;veriSoft软件 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。 Zbl 1081.68604号巴拉克里希南（G.Balakrishnan）。;代表，T。;北卡罗来纳州基德。;A.拉尔。;J.林。;D.梅尔斯基。;R.格鲁安。;Yong，S。;陈，C.-H。;Teitelbaum，T。 2005 全部的 前5名15位作者引用 2 泰瑟·图利 2 叶欣 1 高格尔·巴拉克利什南 1 Jörg Brauer 1 萨迪普塔·查托帕迪耶 1 R.格鲁安。 1 尼古拉斯·基德 1 安迪·金 1 斯特凡·科瓦列夫斯基 1 阿卡什·拉尔 1 林俊熙 1 大卫·梅尔斯基 1 代表，Thomas W。 1 阿比克·罗伊乔杜里 1 蒂姆·泰特尔鲍姆 4篇连载文章中引用 1 计算机程序设计科学 1 实时系统 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文