Aprovar ambiente de verificação de programa baseado em java e automatizado
Baixe Agora

Aprovar Classificação e resumo

Aprovar Tag

automação verificação verificação do programa Prova de terminação automatizar a verificação terminação

Aprovar Descrição

Ambiente de verificação de programa baseado em Java e automatizado Açava-se é gratuito para o sistema de uso não comercial para terminação automatizada e provas de terminação mais íntimas de sistemas de reescrita a prazo (TRSS). Além disso, a calça também lida com vários outros formalismos, por exemplo, programas lógicos (Prolog), TRSS Modulo AC, programas funcionais (Haskell 98), TRSs condicionais, TRSs sensíveis ao contexto, etc.Aprovativo é baseado na estrutura do par de dependência e oferece uma ampla variedade de técnicas de prova de terminação diferentes. Essas técnicas podem ser configuradas livremente e combinadas pelo usuário por meio de uma interface gráfica do usuário. Além disso, o aprove também oferece um modo "totalmente automático", onde técnicas de terminação adequadas são aplicadas em uma determinada ordem fixa que muitas vezes acaba sendo bem-sucedida na prática. Requisitos: · Java 1.5 ou mais tarde

Aprovar Software Relacionado