RVT（RVT） swMATH ID: 31320 软件作者： 斯特里赫曼（Ofer Strichman）；毛尔·维茨曼 描述： 回归验证工具（RVT）-证明程序的等效性。 主页： 网址：http://ie.technion.ac.il/~ofers/rvt/ 相关软件： z3（零3）;布吉;符号差异;简化;达夫尼;垫片;纳吉尼;VerCors公司;GPU验证;WhyML公司;毒蛇;Why3号机组;Jif公司;圣杯;VCC公司;Frama-C公司;Caduceus公司;卡拉卡拉;SeaHorn公司;CoVaC公司 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 非平衡递归函数的回归验证。 Zbl 1427.68055号斯特里赫曼（Ofer Strichman）;毛尔·维茨曼 2016 全部的 前5名被10位作者引用 1 索菲亚·德罗索波洛 1 马尔科·艾尔斯 1 苏珊·艾森巴赫 1 拉希里、舒文杜·库马尔 1 Severin Meier 1 德米特里·莫德维诺夫（Dmitri Mordvinov，Aleksandrovich） 1 彼得·米勒 1 斯特里赫曼（Ofer Strichman） 1 毛伊茨曼 1 蒂姆·伍德 连载1篇 1 信息分析系统模型 在2个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文