杀手 swMATH ID: 9712 软件作者： Josh Berdine；拜伦·库克；萨明·伊斯蒂亚克 描述： SLAyer：系统级代码的内存安全。SLAyer是一种程序分析工具，旨在自动证明工业系统代码的内存安全性。在本文中，我们描述了SLAyer的实现及其在Windows设备驱动程序中的应用。本文与SLAyer的第一个版本一起发布。 主页： http://link.springer.com/chapter/10.1007/978-3642-22110-1_15 相关软件： VeriFast公司;小脚;HIP（热等静压）;Coq公司;推断;z3（零3）;幻灯片;骑自行车的人;jStar公司;CPA检查器;爆炸;捕食者;VCC（沃尔沃汽车公司）;VeriSmall公司;艾菲尔;达夫尼;工具链;Hadoop公司;莫德;SLAM公司 引用于： 22文件 全部的 前5名62位作者引用 三 尼科斯·戈罗甘尼斯 2 尼古拉·S·比约纳。 2 詹姆斯·布罗瑟斯顿 2 曹永志 2 金，赵 2 Max Iosifovich，卡诺维奇 2 克里斯托夫·马提亚 2 王汉平 2 Christoph M.温特斯泰格。 2 张博文 2 弗洛里安·祖勒格 1 安东尼诺普洛斯，蒂莫斯 1 安德鲁·W·阿佩尔。 1 科尼利厄斯·阿斯切尔曼 1 乔什·伯丁 1 伦纳特·贝林格 1 马克·布罗克施米特 1 曹天岳 1 Chang，Bor-Yuh Evan先生 1 魏恩根·钦 1 阿伦·考克斯 1 丹尼尔·雅库布 1 格雷戈里·杜克。 1 卡米尔·杜德卡 1 弗洛里安·弗洛恩 1 卡斯滕·福斯 1 吉尔根·吉斯尔 1 克里斯托夫·哈斯 1 杰拉·亨塞尔 1 卢卡什·霍利克 1 巴特·雅各布斯 1 德克萨斯州贾法 1 克里斯蒂娜·詹森 1 彼得·吉普森 1 Jens Katelaan公司 1 邱小成 1 杰尔·克里纳。 1 Le，Ton Chanh先生 1 塔德乌兹·利塔克 1 阿莱西奥·曼苏蒂 1 穆提林（V.S.Mutilin）。 1 诺尔，托马斯 1 Ouaknine，Joel O。 1 詹斯·佩格尔 1 帕维尔·帕里泽克 1 彼得·佩林格 1 弗兰克·皮森斯 1 格里高·罗什乌 1 鲁本·罗伊，N.S。 1 菲利普·吕默 1 桑卡拉纳拉亚南，斯里拉姆 1 彼得·施奈德·坎普 1 斯图尔特，戈登 1 托马斯·斯特罗德 1 Ta、Quang-Trung 1 马雷克·特里克 1 阿列克斯·瓦西尔·埃夫 1 福雷德里克·沃格尔 1 汤姆·沃纳 1 罗兰·H·C·雅普。 1 Aleksandar Zeljić 1 张磊 全部的 前5名8篇连载文章中引用 2 理论计算机科学 2 计算机科学中的逻辑方法 1 编程和计算机软件 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 在2个字段中引用 21 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 按年份列出的引文