Aprovar

Ambiente de Verificação de Programa Automatizado
Baixe Agora

Aprovar Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • LuFG Informatik II / RWTH Aachen
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 6.6 MB

Aprovar Tag


Aprovar Descrição

O sistema APVEND pode ser usado para rescisão automatizada e provas de terminação mais íntimas de sistemas de reescrita (TRSS), Programas Prolog, ProLog, Funcional e Imperative. APROVA atualmente oferece muitas técnicas de transformação, técnicas de rescisão básicas (incluindo ordens de caminho recursivo, ordens de Knut Bendix, pedidos polinomiais, correspondência de RFC), pares de dependência, incluindo refinamentos recentes, como estreitamento, reescrevendo e a instanciação de pares de dependência, e o princípio da mudança de tamanho. , também em combinação com pares de dependência. A ferramenta é escrita em Java e provas pode ser realizada em um modo totalmente automatizado ou em um modo interativo por meio de uma interface gráfica do usuário. Dê a Valor uma tentativa de ver o quão útil pode ser em seus projetos de desenvolvimento.


Aprovar Software Relacionado

Quicktype 1.0.0.0.

Fight Outsourcing duplicando ou triplicando sua produtividade de programação.QuickType tem mais de 25.000 ... ...

165 1.9 MB

Download

Hopopi.

Hopopi (Hostportping) é um console gratuito, útil e simples implemento de aplicativos em Java Timing Alguns "Pin ... ...

281 186 KB

Download

Sobre nós