VeriFast公司

此软件的关键字
zbMATH中的参考文献(参考文献 64条 )
阿巴西,罗莎; 希夫尔,乔纳斯; 达鲁洛娃,伊娃; 乌尔布里希,马提亚斯; Ahrendt,Wolfgang:KeY中浮点Java程序的演绎验证(2021) Filli–tre,Jean-Christophe:用分散不变量的简单证明(2021) 伊洛斯,雨果; 勒梅尔,马修; Rival,Xavier:关系形状抽象域(2021) 拉姆雷奇,莱恩; Sivilotti,Paolo A.G.:使用RESOLVE框架对Java组件的形式化验证(2021) 乌尔特维恩,怀兹; 古洛夫,迪莲; Huisman,Marieke:共享内存并发性自动验证的实用抽象(2020) 瓦西里耶夫。; Mutilin,V.S.:用于内存安全正确性分析的符号记忆图的谓词扩展(2020) 鲍伊拉盖,昆廷; 博博特,弗朗索瓦; 希吉瑞努,米哈埃拉; Yakobowski,Boris:利用内存模型中的指针分析进行演绎验证(2019) 孟吉,克劳迪奥; 斯波莱蒂尼,保拉; 玛莎契克; Ghezzi,Carlo:控制器迭代设计的验证驱动框架(2019) 班尼斯特,卡拉姆; 霍夫纳,彼得; 克莱恩,格温:《分离逻辑的前后》(2018) 包、玉岩; 莱文斯,加里·T。; Ernst,Gidon:统一分离逻辑和区域逻辑以实现互操作性(2018) 戴勒,西尔文; 哈撒,大卫; 三月,克劳德; Moy,Yannick:为反例生成提供最弱的先决条件演算(2018) 德姆瑞,圣潘; 洛兹,艾蒂安; Denis Lugiez:论符号堆模许可理论(2018) 鸭子,格雷戈里J。; 贾法尔,约森; Yap,Roland H.C.:基于图的数据结构的形状中性分析(2018) Grigoriy Volkov,Mikhail Mandrykin,Denis Efremov:Frama-C:C程序的引理函数作为证明(2018) 阿尔十四 萨默斯,亚历山大J。; Müller,Peter:弱记忆程序的自动演绎验证(2018) 詹伯华:使用auto2对命令式程序进行有效验证(2018) 阿伦特,沃尔夫冈; 奇门托,耶斯·莫里西奥; 佩斯,戈登J。; Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性:理论与工具(2017) 丁斯代尔·杨,托马斯; 达罗查平托,佩德罗; 安徒生,克里斯托弗只是; Birkedal,Lars:\textscaper——细粒度并发的自动验证(2017) 詹森,克里斯蒂娜; 卡泰兰,詹斯; 马蒂哈,克里斯托夫; 诺尔,托马斯; 祖勒格,弗洛里安:关于符号堆分离逻辑鲁棒性的统一推理(2017) 卢卡努、多雷尔; 拉苏,弗拉德; Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)