菲亚特

此软件的关键字
zbMATH参考文献(14篇文章引用了, 1标准件 )
Darais,David;Van Horn,David:Galois Constructive connections(2019年) Drămnesc,Isabela;Jebelean,Tudor;Stratulat,Sorin:用逻辑和组合技术对二叉树排序算法的机械综合(2019年) 拉米奇,彼得:对命令式霍尔的改进(2019) Peter Lammich;Lochbihler,Andreas:《高效数据结构的自动优化:两种方法的比较》(2019年) Benzaken,V.;Contejean,É;Keller,Ch.;Martins,E.:SQL执行引擎的Coq形式化(2018) Dagand,Pierre-Évariste;Tabareau,Nicolas;Tanter,Éric:依赖互操作性的基础(2018) Kumar,Ramana;Mullen,Eric;Tatlock,Zachary;Myreen,Magnus O.:ITP软件验证应使用二进制代码提取来减少TCB(短文)(2018年) Lochbihler,Andreas:Isabelle/HOL中的快速机器词(2018) Lochbihler,Andreas;Schneider,Joshua:模块化(co)数据类型的关系参数和商保持(2018) Guéneau,Armaël;Myreen,Magnus O.;Kumar,Ramana;Norrish,Michael:CakeML的验证特征公式(2017) 波特,亚瑟;达甘,皮埃尔-爱瓦里斯特;劳尔,朱莉娅:从集到位在Coq(2016) Drămnesc,Isabela;Jebelean,Tudor;Stratulat,Sorin:基于证据的树排序算法综合(2016) Malecha,Gregory;Bengtson,Jesper:通过反射策略实现可扩展和高效自动化(2016) 特拉华,本杰明;皮特·克劳德尔,克莱门特;格罗斯,杰森;奇利帕拉,亚当:菲亚特:在证明助手中抽象数据类型的演绎合成(2015)