您当前位置：兵器玩家 → 软件下载 → 编程软件 → AProVE 1.2下载

AProVE 1.2

运行环境：WinXP/Win7/Win8/Win10/Win All
软件语言：简体中文
软件类型：国产软件 - 编程软件
授权方式：共享版
软件大小：6.45 MB
推荐星级：
解压密码：
联系方式：暂无联系方式
插件情况：
图片预览： 　
更新时间：2013-03-09 12:27:00
下载统计：

好的评价　如果您觉得好，就请您
100%(25)
差的评价　如果您觉得差，就请您
0%(0)

AProVE 1.2下载地址

AProVE 1.2软件简介

最新发布的相关软件：

AProVE 1.2

Aprog 1.0.0 M4

自动程序验证环境

系统AProVE可以用于自动终止和最内层终止的证明（视情况而定）项重写系统（TRSS），Prolog程序，功能，和必要的程序。

目前，AProVE提供了许多转换技术，基本终止技术（包括递归路径订单，克努特·本迪克斯订单，多项式订单，RFC Matchbounds的神器出山:www.shenqi73.com）依赖对包括最近的改进，如缩小，重写，并实例化依赖对，和大小变化的原则，也依赖对组合。

该工具是用Java编写的，并证明可以执行在一个完全自动化的，或通过一个图形用户界面的交互模式。

给AProVE一个多么有用，它可以在您的开发项目。

最新发布的相关软件：

AProVE 1.2

Aprog 1.0.0 M4

上一个软件：MyBatis的3.0.1_MyBatis 3.0.1

下一个软件：CADO 1.82_Cado 1.82