软件名称：[B]AProVE 1.2[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：6.45 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

自动程序验证环境

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

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

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

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

[url=http://www.sot9.com/soft/98826.html][B]AProVE 1.2[/B][/url]

点这里下载->AProVE 1.2 [ 下载地址 ]