猛击

SLAM是一个项目,用于检查软件是否满足所使用接口的关键行为属性,并帮助软件工程师设计接口和软件,以确保可靠和正确的功能。静态驱动程序验证程序是Windows驱动程序开发工具包中使用SLAM验证引擎的工具。


zbMATH中的参考文献(参考文献153条,2标准条款)

显示153个结果中的1到20个。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. 库索,帕特里克:基于抽象解释的规则模型检查器的计算设计(2021)
  2. 哈伊杜,Ákos;Michskei,Zoltán:基于CEGAR的模型检查的有效策略(2020)
  3. 陆、徐;段振华;田聪;杜宏伟:通过统一模型检查验证堆(2020)
  4. 布埃诺,丹尼斯;Sakallah,Karem A.:EUFORIA:使用非预期功能完成软件模型检查(2019年)
  5. 阿鲁尔,拉吉耶夫;艾哈迈德·布瓦贾尼;Esparza,Javier:模型检查程序程序(2018)
  6. 拜尔,德克;丹格尔,马提亚斯;Wendler,Philipp:基于SMT的软件验证的统一观点(2018)
  7. 拜尔,德克;古尔瓦尼,苏米特;Schmidt,David A.:结合模型检查和数据流分析(2018)
  8. 贝尔,阿明;Daniel Kröning:基于SAT的模型检查(2018)
  9. 陈浩;吴雄南;邵、钟;锁匠,约书亚;顾荣辉:面向可中断操作系统内核和设备驱动程序的组合验证(2018)
  10. 戴姆斯,丹尼斯;Grumberg,Orna:抽象与抽象提炼(2018)
  11. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  12. 古斯穆勒,马里恩;加布里埃尔,科罗娜;Quinson,Martin:遗留分布式应用正式动态验证的系统级状态平等检测(2018)
  13. 贾拉,兰吉特;波德尔斯基,安德烈亚斯;Rybalchenko,Andrey:用于程序验证的谓词抽象(2018)
  14. Kurshan,Robert P.:模型检验向工业实践的转移(2018)
  15. 阿巴尔,伊阿古;布拉布兰德,克劳斯;Wąsowski,Andrzej:具有形状和效果抽象的C程序中的有效缺陷发现(2017)
  16. 格雷茨丘,马吕斯;迪茨,丹尼尔;波德尔斯基,安德烈亚斯:《反例中的循环不变量》(2017)
  17. 卡夫勒、比肖克珊;Gallagher,John P.:Horn子句验证与凸多面体抽象和基于树自动机的精化(2017)
  18. 阮成武;维默,韦斯特利;卡普尔,迪帕克;Forrest,Stephanie:连接程序综合和可达性:使用测试输入生成自动修复程序(2017)
  19. Aarts、Fides;强森,本特;尤金,约翰;Vaandrager,Frits:使用规则推理和抽象生成无限状态通信协议的模型(2015)
  20. 米什尼,阿米拉;勒梅尔,马修;本·赫迪亚,贝尔加西姆;哈达德,谢尔盖;Barkaoui,Kamel:用TLA+指定和验证并发C程序(2015)ioport公司

1 2 ... 6 7 8 下一个


更多出版物请访问:http://research.microsoft.com/en-us/projects/slam/