veriSoft软件 swMATH编号: 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 Patrice Godefroid公司 5 阿尔蒂·古普塔 4 Păsăreanu,科琳娜·s。 4 沙兹·卡迪尔 4 威廉·维瑟 3 马修·德怀尔。 3 约翰·哈特克利夫 3 拉德哈·贾加迪桑 3 维尼特·卡隆 2 艾亚德·阿尔卡萨 2 亚历山德罗·西马蒂 2 斯特凡·爱德坎普 2 阿扎德法尔赞 2 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 2 奥尔纳·格伦伯格 2 克劳斯·哈弗伦德 2 迈克尔·R·A·胡特。 2 萨尔夫拉兹·库希德 2 拉希里、舒文杜·库马尔 2 泽维尔·勒罗伊 2 何塞·梅塞盖尔·瓜伊塔 2 伊曼·纳拉萨姆迪亚 2 沃尔夫冈·雅各布·保罗 2 马可·罗维里 2 沃尔夫拉姆·舒尔特 2 王超 2 沃尔夫,伯克哈特 2 凯伦·约拉夫 1 帕罗什·阿齐兹·阿卜杜拉 1 普拉图什·阿加瓦尔 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 Dörrenbächer,简 1 斯蒂芬·爱德华兹。 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 Derin哈曼西 1 Bernd F.海德哥特。 1 C.E.赫尔姆斯特特。 1 Hillebrand,Mark A。 1 黄晓婉 1 拉杜·奥西夫 1 弗兰乔·伊万契奇 1 沙希德·贾巴尔 1 贾加迪桑、拉利塔·贾特冈卡尔 1 蒋晓伟 1 埃纳尔·布罗赫·约翰森 1 安德鲁·约翰逊。 1 Jonsson,孟加拉人 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) 按年份列出的引文