猛击

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


zbMATH参考文献(参考 151篇文章 参考,2标准条款)

显示第1到第20个结果,共151个。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. Hajdu,Ákos;Micskei,Zoltán:基于CEGAR的模型检查的有效策略(2020年)
  2. 卢旭;段振华;田聪;杜宏伟:通过统一模型检查验证堆(2020)
  3. Bueno,Denis;Sakallah,Karem A.:EUFORIA:使用非预期功能完成软件模型检查(2019年)
  4. 程序检查(Janeeza,Janeeza;程序模式:Janeeza,2018年)
  5. Beyer,Dirk;Dangl,Matthias;Wendler,Philipp:基于SMT的软件验证的统一观点(2018)
  6. 结合数据分析:David-Wanlow,和Dird-Wanlow,2018;Dird-Wanlow,和数据分析
  7. Biere,Armin;Kröning,Daniel:基于SAT的模型检查(2018)
  8. 陈浩;吴雄楠;邵忠忠;洛克曼,乔舒亚;顾荣辉:面向可中断操作系统内核和设备驱动程序的组合验证(2018)
  9. Dennis Dams;Orna Grumberg:抽象与抽象提炼(2018)
  10. Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018)
  11. Guthmuller,Marion;Corona,Gabriel;Quinson,Martin:遗留分布式应用程序正式动态验证的系统级状态平等检测(2018)
  12. Jhala,Ranjit;Podelski,Andreas;Rybalchenko,Andrey:用于程序验证的谓词抽象(2018)
  13. Kurshan,Robert P.:模型检验向工业实践的转移(2018)
  14. Abal,Iago;Brabrand,Claus;Wąsowski,Andrzej:具有形状和效果抽象的C程序中的有效错误查找(2017)
  15. Greitschus,Marius;Dietsch,Daniel;Podelski,Andreas:反例循环不变量(2017)
  16. Kafle,Bishoksan;Gallagher,John P.:凸多面体抽象的Horn子句验证和基于树自动机的精化(2017)
  17. Aarts,Fides;Jonsson,Bengt;Uijen,Johan;Vaandrager,Frits:使用规则推理和抽象生成无限状态通信协议的模型(2015)
  18. Methni,Amira;Lemerre,Matthieu;Ben Hedia,Belgacem;Haddad,Serge;Barkaoui,Kamel:用TLA+指定和验证并发C程序(2015)ioport公司
  19. Zakharov,I.;Mandrykin,M.;Mutilin,V.;Novikov,E.;Petrenko,A.;Khoroshilov,A.:操作系统内核模块静态验证的可配置工具集(2015)ioport公司
  20. Alberti,Francesco;Bruttomesso,Roberto;Ghilardi,Silvio;Ranise,Silvio;Sharygina,Natasha:数组程序的lazy abstraction和插值扩展(2014)

1 2 ... 6 7 8 下一个


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