布吉

此软件的关键字
zbMATH参考文献(参考
116篇文章
参考)
Guillaume Burel;Guillaume Bury;Cauderlier,Raphaël;Delahaye,David;Halmagrand,Pierre;Hermant,Olivier:一阶自动推理:当演绎模理论与实践相结合时(2020) Daniel Neider;Madhusudan,P.;Saha,Shambwaditya;Garg,Pranav;Park,Daejun:基于学习的不完全验证引擎不变量合成方法(2020) Apt,Krzysztof R.;Olderog,Ernst-Rüdiger:霍尔逻辑五十年(2019) Bouillaguet,Quentin;Bobot,François;Sighireanu,Mihaela;Yakobowski,Boris:利用内存模型中的指针分析进行演绎验证(2019年) Milicevic,Aleksandar;Near,Joseph P.;Kang,Eunsuk;Jackson,Daniel:合金*:通用高阶关系约束求解器(2019) Wang,Wenxi;Søndergaard,Harald;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019年) Zakowski,Yannick;Cachera,David;Demange,Delphine;Petri,Gustavo;Pichardie,David;Jagannathan,Suresh;Vitek,Jan:使用依赖保证方法验证并发垃圾收集器(2019年) Bao,Yuyan;Leavens,Gary T.;Ernst,Gidon:统一分离逻辑和区域逻辑以实现互操作性(2018) 西尔文·戴勒(Dailler),大卫·豪扎(Hauzar),克劳德·马奇(Marché),莫伊(Moy),扬尼克(Yannick):为反例生成提供最薄弱的前提条件演算(2018年) Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018) He,Shaobo;Lahiri,Shuvendu K.;Rakamarić,Zvonimir:验证程序近似的相对安全性、准确性和终止性(2018年) Kiefer,Moritz;Klebanov,Vladimir;Ulbrich,Mattias:使用编译器IR进行关系程序推理(2018) Klebanov,Vladimir;Rümmer,Philipp;Ulbrich,Mattias:通过谓词抽象实现指针程序的自动回归验证(2018) Kotelnikov,叶夫根尼;Kovács,Laura;Voronkov,Andrei:命令程序的下一个国家关系的愚蠢编码(2018) Moore,Brandon;Peña,Lucas;Rosu,Grigore:coinduction的项目验证(2018) Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。 在海夫特60岁生日之际为他写的文章。 2018年11月,德国凯斯劳滕研讨会论文精选 Summers,Alexander J.;Müller,Peter:弱记忆程序的自动演绎验证(2018) Chakraborty,Supratik;Gupta,Ashutosh;Jain,Rahul:位向量公式中的匹配乘法(2017) Ozeri,Or;Padon,Oded;Rinetzky,Noam;Sagiv,Mooly:使用协调的连接抽象解释(2017) Wood,Tim;Drossopolou,Sophia;Lahiri,Shuvendu K.;Eisenbach,Susan:存在内存分配时的程序等价性模块验证(2017)