×

veriSoft软件

swMATH ID: 1489
软件作者： 朱尔根·丁格尔
描述： VeriSoft通过生成、控制和观察所有组件的可能执行和交互，自动搜索软件系统中的协调问题（死锁等）和断言冲突。它将自动测试生成、执行和评估集成在一个框架中。VeriSoft包括一个交互式图形模拟器，可以驱动现有调试器精确检查多个进程的并发执行。
主页： http://cm.bell-labs.com/who/god/verisoft/
关键词： 可视化技术
相关软件： 班德拉;自旋蛋白;Java PathFinder;爆炸;橡皮擦;SLAM公司;茂物;dSPIN公司;CESAR公司;投掷;活力;CIL公司;伊莎贝尔/HOL;日本运通银行;CBMC公司;NuSMV公司;科拉特;莫德;可爱的;ConTest公司
引用于： 76文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
用veriSoft对C/C++程序进行组合分析。 Zbl 1102.68428号
朱尔根·丁格尔
2006
全部的 前5名

189位作者引用

5 帕特丽斯·戈德弗里德
5 阿尔蒂·古普塔
4 科琳娜·s·佩斯勒诺。
4 沙兹·卡迪尔
4 威廉·维瑟
三 马修·德怀尔。
三 约翰·哈特克利夫
三 拉德哈·贾加迪桑
三 维尼特·卡隆
2 艾亚德·阿尔卡萨
2 亚历山德罗·西马蒂
2 斯特凡·爱德坎普
2 阿扎德法尔赞
2 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha）
2 奥尔纳·格隆伯格
2 克劳斯·哈维隆德
2 迈克尔·R·A·胡特。
2 萨尔夫拉兹·库希德
2 Shuvendu Kumar拉希里
2 泽维尔·勒罗伊
2 何塞·梅塞盖尔·瓜伊塔
2 伊曼·纳拉萨姆迪亚
2 沃尔夫冈·雅各布·保罗
2 马可·罗维里
2 沃尔夫拉姆·舒尔特
2 王超
2 沃尔夫，伯克哈特
2 凯伦·约拉夫
1 帕罗什·阿齐兹·阿卜杜拉
1 Pratyush阿加瓦尔
1 巴沙尔·拉维
1 阿罗尼斯·斯塔夫罗斯
1 西里尔·阿尔托
1 穆罕默德·法乌齐（Mohamed Faouzi Atig）
1 高格尔·巴拉克利什南
1 鲍尔，托马斯
1 马尔鲍尔
1 克里斯托夫·埃瓦尔德·本兹穆勒
1 阿明·比尔
1 布兰奇，桑德琳
1 塞巴斯蒂安·博根
1 Böhme，萨沙
1 博塔尚詹，杰杰尼
1 艾哈迈德·博阿贾尼
1 布兰德，丹尼尔
1 曼弗雷德·布罗伊
1 塞巴斯蒂安·伯克哈特
1 马西奥·巴斯
1 杰弗里·查伦
1 Ranveer Chandra
1 克里希南德·查特吉
1 欧尼·科恩
1 拜伦·库克
1 卡米尔·科蒂
1 达姆，丹尼斯·雷内
1 马提亚斯·达姆
1 巴特·德·舒特
1 玛丽亚·德尔马·加拉多
1 朱尔根·丁格尔
1 董，袁
1 德伦巴切，简
1 Edwards，Stephen A。
1 埃里克·恩斯特罗姆
1 帕斯卡·尤格斯特
1 萨米·伊万格利斯塔
1 费伯，帕斯卡
1 冯新余
1 费策，克里斯托夫
1 杰弗里·福斯特。
1 塞维琳·弗拉塔尼
1 Masahiro Fujita
1 马来K·加奈。
1 米洛什·格里戈里奇。
1 González-Abril，Juan José
1 文森特·格拉莫利
1 拉杜·格罗苏
1 R.格鲁安。
1 亚历山大·格鲁勒
1 郭瑜
1 拉杰什·库马尔·古普塔
1 葡萄藤古普塔
1 亚历山大·哈胡林
1 德林·哈曼奇
1 Bernd F.海德哥特。
1 C.E.赫尔姆斯特特。
1 Hillebrand，Mark A。
1 黄晓婉
1 拉杜·奥西夫
1 弗兰乔·伊万契奇
1 沙希德·贾巴尔
1 贾加迪桑、拉利塔·贾特冈卡尔
1 蒋晓伟
1 埃纳尔·布罗赫·约翰森
1 安德鲁·约翰逊。
1 本特·琼森
1 尼古拉斯·基德
1 罗伯特·M·II·柯比
1 尼尔斯·克拉伦德
1 格温·克莱恩
1 斯特芬·纳普
…还有89位作者
全部的 前5名

15篇连载文章中引用

9 系统设计中的形式化方法
8 自动推理杂志
2 信息学报
2 计算的形式方面
2 萨达纳
1 Automatica公司
1 编程和计算机软件
1 计算机程序设计科学
1 国际并行程序设计杂志
1 信息与计算
1 并行与分布式计算杂志
1 控制论与系统分析
1 逻辑与代数程序设计杂志
1 计算机科学中的逻辑方法
1 形式化推理杂志

在4个字段中引用

75 计算机科学（68至XX）
5 数理逻辑与基础（03-XX）
2 系统论；控制（93至XX）
2 信息与通信理论、电路（94-XX）

按年份列出的引文