猛击

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


ZBMaX中的参考文献(148篇)2篇标准文章

显示结果1至20的148。
按年份排序(引文
  1. BueNo,丹尼斯;Sakallah,Karem A.:EUFROIA:完整的软件模型检查与未解释的功能(2019)
  2. 阿鲁尔,拉杰夫;Bouajjani,艾哈迈德;EsPARZA,哈维尔:模型检查过程程序(2018)
  3. 拜尔,Dirk;Dangl,马蒂亚斯;Wendler,Philipp:基于SMT的软件验证的统一观点(2018)
  4. 拜尔,Dirk;Gulwani,SUMIT;施密特,David A.:模型检验与数据流分析相结合(2018)
  5. Biere,Armin;Kr Off宁,丹尼尔:基于SAT的模型检验(2018)
  6. 陈,郝;吴,熊楠;邵,钟;Lockerman,约书亚;顾,荣辉:关于可中断操作系统内核和设备驱动程序的组分验证(2018)
  7. 水坝,丹尼斯;格伦伯格,ORNA:抽象与提炼的精髓(2018)
  8. GooFoulID,帕特利斯;Sen,KouSek:结合模型检验和测试(2018)
  9. Guthmuller,玛丽恩;CARONA,加布里埃尔;坎松,马丁:传统分布式应用程序形式化动态验证的系统级状态等式检测(2018)
  10. Jhala,Ranjit;波德尔斯基,安德烈亚斯;里巴尔琴科,安德烈:程序验证的谓词抽象(2018)
  11. Kurshan,Robert P.:模型检验到工业实践的转移(2018)
  12. Abal,IAGO;Braband,克劳斯;W·SoWSKi,塔尔科夫斯基:C形程序中有效的缺陷发现:形状和效果抽象(2017)
  13. Greitschus,马吕斯;狄奇,丹尼尔;Podelski,安德烈亚斯:反例中的循环不变量(2017)
  14. Kafle,BiokkSAN;加拉赫,John P.:凸多面体抽象和基于树自动机细化的角子句验证(2017)
  15. Aarts,FIDES;Jonsson,Bengt;Uijun,Johan;Vaandrager,FRITS:使用抽象的规则推理生成无限状态通信协议模型(2015)
  16. 梅西尼,Amira;勒梅尔,马蒂厄;贲赫嗲,Belgacem;哈达德,SerGE;Barkaoui,Kamel:用TL+(2015)指定和验证并发C程序。伊波尔特
  17. 扎哈罗夫,I. Mandrykin,M;Mutilin,V. Novikov,E;Petrenko,A.;Khoroshilov,A:可配置的工具集,用于操作系统内核模块的静态验证(2015)伊波尔特
  18. Alberti,弗朗西斯科;BruttMeSO,罗伯托;吉拉第,西尔维奥;Ranise,西尔维奥;Syigina,娜塔莎:用数组插值的懒惰抽象的扩展(2014)
  19. Giacobazzi,罗伯托;Ranzato,弗朗西斯科:抽象解释的正确内核(2014)
  20. Kuwahara,今间卓也;Terauchi,Tachio;UNNO,Hiroshi;小林定人,Naoki:高阶函数程序的自动终止验证(2014)

进一步的出版物可以在:HTTP://Realth.MySo.CON/EN-U/Studis/SLAM/