毒蛇

此软件的关键字
zbMATH参考文献(参考
8篇文章
参考)
Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年) Oortwijn,Wytse;Gurov,Dilian;Huisman,Marieke:共享内存并发性自动验证的实用抽象(2020) Menghi,Claudio;Spoletini,Paola;Chechik,Marsha;Ghezzi,Carlo:控制器迭代设计的验证驱动框架(2019) Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。 在海夫特60岁生日之际为他写的文章。 2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文 Summers,Alexander J.;Müller,Peter:弱记忆程序的自动演绎验证(2018) Dinsdale Young,Thomas;da Rocha Pinto,Pedro;Andersen,Kristoffer Just;Birkedal,Lars:\ textscaper-细粒度并发自动验证(2017) Müller,Peter;Schwerhoff,Malte;Summers,Alexander J.:Viper:基于权限推理的验证基础设施(2016) 基于MATLAB的项目验证(Pontatus,2016年)