达夫尼

此软件的关键字
zbMATH中的参考文献(参考文献 72条 , 2标准条款 )
Filli–tre,Jean-Christophe:用分散不变量的简单证明(2021) 不,耶; Strichman,Ofer:使用最优算法组合实时解决计算困难问题(2021) 拉姆雷奇,莱恩; Sivilotti,Paolo A.G.:使用RESOLVE框架对Java组件的形式化验证(2021) 尼尔,丹尼尔; 马杜苏丹,P。; 萨哈,Shambwaditya; 加格,普拉纳夫; Park,Daejun:基于学习的不完全验证引擎不变量合成方法(2020) 李嘉图,培尼亚:用Dafny证明红黑树(2020) 张文杰,孙泽宇,朱启浩,李戈,蔡少伟,熊英飞,张璐:NLocalSAT:用解预测促进局部搜索(2020) 阿尔十四 沃尔特,英国。; 马提尼,A.R。; Häusler,E.H.:霍尔逻辑的索引和纤维结构(2020) 阿普特,Krzysztof R。; 奥尔德罗,恩斯特-吕迪格:霍尔逻辑的五十年(2019) 孟吉,克劳迪奥; 斯波莱蒂尼,保拉; 玛莎契克; Ghezzi,Carlo:控制器迭代设计的验证驱动框架(2019) 米利切维奇,亚历山达; 附近,约瑟夫P。; 康恩苏克; 丹尼尔·杰克逊:合金*:通用高阶关系约束求解器(2019) 班尼斯特,卡拉姆; 霍夫纳,彼得; 克莱恩,格温:《分离逻辑的前后》(2018) 包、玉岩; 莱文斯,加里·T。; Ernst,Gidon:统一分离逻辑和区域逻辑以实现互操作性(2018) 曹操、秦翔; 贝林格,伦纳德; 格鲁特,塞缪尔; 多德,约西亚; Appel,Andrew W.:VST Floyd:验证C程序正确性的分离逻辑工具(2018) 陈浩; 吴雄南; 邵、钟; 锁匠,约书亚; 顾荣辉:面向可中断操作系统内核和设备驱动程序的组合验证(2018) Grigoriy Volkov,Mikhail Mandrykin,Denis Efremov:Frama-C:C程序的引理函数作为证明(2018) 阿尔十四 克拉格尔,伯恩哈德; 卡迪尔,沙兹; Henzinger,Thomas A.:同步异步(2018) 洛赫比勒,安德烈亚斯; Schneider,Joshua:模块化(co)数据类型的关系参数和商保持(2018) 梅尔奎恩,纪尧姆; Rieu Helft,Raphaël:Why3反射证明框架及其在GMP算法中的应用(2018) 门德斯,亚历山德拉; Ferreira,JoãF.:走向验证手写计算证明(短文)(2018) 穆勒,彼得(编辑); Schaefer,Ina(编辑):原则性软件开发。 在海夫特60岁生日之际为他写的文章。 2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文