Aprobar Medio ambiente de verificación de programas basado en Java y automatizado
Descargar ahora

Aprobar Clasificación y resumen

Aprobar Etiquetas

automatización verificación verificación del programa prueba de terminación automatizar la verificación terminación

Aprobar Descripción

Medio ambiente de verificación de programas basado y automatizado de Java Aprove es un sistema gratuito para uso no comercial para la terminación automatizada y las pruebas de terminación más internas de los sistemas de reescritura a plazo (TRS). Además, Aprove también maneja varios otros formalismos, por ejemplo, programas de lógica (prólogo), módulo de AC, programas funcionales (Haskell 98), TRS condicional, TRS sensibles al contexto, etc.Prove se basa en el marco de pareja de dependencia y ofrece un amplio Variedad de diferentes técnicas de prueba de terminación. Estas técnicas se pueden configurar y combinar libremente por el usuario a través de una interfaz gráfica de usuario. Además, Aproveve también ofrece un modo "totalmente automático" donde se aplican técnicas de terminación adecuadas en un determinado orden fijo que a menudo resulta exitoso en la práctica. Requisitos: · Java 1.5 o posterior

Aprobar Software relacionado