猛击

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


zbMATH中的参考文献(引用于 150篇文章,2标准条款)

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

1 2 ... 6 7 8 下一个

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

1 2 ... 6 7 8 下一个


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