砰的一声 swMATH ID: 3136 软件作者： 鲍尔，托马斯；Rajamani，Sriram K。 描述： SLAM是一个项目，用于检查软件是否满足其使用的接口的关键行为属性，并帮助软件工程师设计接口和软件，以确保可靠和正确的功能。静态驱动程序验证程序是Windows驱动程序开发工具包中使用SLAM验证引擎的工具。 主页： http://research.microsoft.com/en-us/projects/slam/ 相关软件： 爆炸;自旋蛋白;班德拉;注册会计师检查器;z3（零3）;贝博普;SatAbs公司;MOPS公司;CBMC公司;veriSoft软件;CESAR公司;Java PathFinder;电子稳定控制系统/Java;Zing公司;金刚狼;陆军装备司令部;CIL公司;ASTREE公司;投掷;简化 引用于： 128文档 更多出版物： http://research.microsoft.com/en-us/projects/slam/ 标准条款 2出版物描述软件，包括1出版物以zbMATH为单位 年份 从症状到原因：定位反例跟踪中的错误托马斯·鲍尔（Thomas Ball）；Mayur Naik；Rajamani，Sriram K。 2003 SLAM工具包。 Zbl 0996.68560号鲍尔，托马斯;Rajamani，Sriram K。 2001 全部的 前5名262位作者引用 8 拉杰夫·阿鲁尔 5 玛莎·契契克 5 丹尼尔·科宁 5 安德烈亚斯·波德尔斯基 5 Rajamani，Sriram K。 4 德克·拜尔 4 达姆，丹尼斯·雷内 4 帕特丽斯·戈德弗里德 4 阿里·古芬克尔 4 直纪小林 4 帕塔萨拉西马杜苏丹 4 Kedar S.Namjoshi。 4 代表，Thomas W。 4 穆利·萨吉夫 三 尼古拉·S·比约纳。 三 Dan R.吉卡。 三 马修·黑格 三 霍尼克，约琴 三 兰吉特·贾拉 三 卡迪尔，沙兹 三 雅各布·雷霍夫 三 穆罕默德·纳西姆·塞吉尔 三 娜塔莎·莎莉吉娜 三 大雄县Terauchi 2 亚历克斯·艾肯 2 阿尔巴古提·奥斯 2 安德鲁斯、托尼 2 鲍尔，托马斯 2 Supratik查克拉博蒂 2 马蒂亚斯·丹格尔 2 伊西尔·迪利格 2 托马斯·迪利格 2 哈维尔·埃斯帕尔扎 2 Masahiro Fujita 2 Bhargav S.古拉瓦尼。 2 拉德哈·贾加迪桑 2 萨尔瓦多拉托雷 2 鲁帕克·马朱姆达尔 2 安德烈·穆拉夫斯基。 2 阿迪蒂亚·维塔尔·诺里 2 Rasmus Lerchedahl彼得森 2 西尔维奥·兰伊斯 2 塞·库什克 2 莫西·亚亚科夫·瓦尔迪 2 托马斯·沃伊纳尔 2 托马斯·瓦尔 2 谢、伊晨 2 格雷塔·约什 1 艺术、忠诚 1 萨姆森·艾布拉姆斯基 1 弗朗西斯科·阿尔贝蒂 1 玛丽亚·阿尔普特 1 萨斯瓦特·阿南德 1 亚历山德罗·阿曼多 1 塔马拉·阿隆斯 1 高格尔·巴拉克利什南 1 塞巴斯蒂安·巴丁 1 珍妮特·巴恩斯 1 凯特琳娜·巴罗内·阿德斯 1 杰拉德·巴斯勒 1 肖姆·本·达维德 1 艾苏贝汀坎 1 阿明·比尔 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 艾哈迈德·博阿贾尼 1 奇亚拉·布拉金 1 Christopher H.Broadbent。 1 罗伯特·布鲁托梅索 1 丹尼斯·布埃诺 1 特夫菲克·布尔坦 1 Carayol，阿诺 1 乔恩，帕沃 1 罗德里克·查普曼 1 斯瓦拉特·乔杜里 1 陈浩 1 米歇尔·齐亚里 1 Chlipala，Adam J。 1 克里斯托弗·康韦。 1 安德鲁·库克。 1 加布里埃尔·科罗纳 1 帕特里克·库索特 1 大卫·J·柯里。 1 Das、Satyaki 1 卢卡·德·阿尔法罗 1 玛丽亚·德尔马·加拉多 1 贝内特·德弗鲁 1 丹尼尔·迪特施 1 大卫·L·迪尔。 1 阿列克桑达尔·迪莫夫斯基。 1 迪诺·迪斯特法诺 1 阿拉斯泰尔·唐纳森。 1 杜洪伟 1 段振华 1 史蒂夫·伊斯特布鲁克 1 Stefan Edelkamp 1 斯蒂芬·爱德华兹。 1 比尔·J·埃利斯。 1 Elster，Elad公司 1 迈克尔·埃米 1 埃夫伦·埃尔米斯 …还有162位作者 全部的 前5名20篇连载文章中引用 8 系统设计中的形式化方法 5 理论计算机科学 5 信息与计算 5 计算的形式方面 4 自动推理杂志 1 倒排索引综述 1 信息学报 1 国际通用系统杂志 1 信息处理信函 1 计算 1 计算机与系统科学杂志 1 编程和计算机软件 1 计算机程序设计科学 1 国际并行程序设计杂志 1 离散事件动态系统 1 美国医学会杂志 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马斯 1 计算机语言、系统和结构 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 127 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 一般性和全局性主题；集合（00-XX） 1 数论（11-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文