猛击

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