Remuer Environnement automatisé de vérification du programme
Télécharger maintenant

Remuer Classement & Résumé

Remuer Mots clés

Testeur Vérification vérification environnement de test Vérification du programme Code épreuvage

Remuer La description

Le système APROVE peut être utilisé pour la résiliation automatisée et les preuves de résiliation intérieures des systèmes de réécriture (TRSS), des programmes de PROG, des programmes de PRAGolog, des programmes fonctionnels et impératifs. APROVE propose actuellement de nombreuses techniques de transformation, des techniques de résiliation de base (y compris des commandes de trajectoire récursives, des commandes de Bendix de Knut, des commandes polynomiales, des paires de dépendances, y compris des raffinements récents tels que le rétrécissement, la réécriture et l'instanciation des paires de dépendances et le principe de la taille de la taille. , également en combinaison avec des paires de dépendances. L'outil est écrit en Java et les preuves peuvent être effectuées à la fois dans un mode entièrement automatisé ou en mode interactif via une interface utilisateur graphique. Donner AProve a essayez de voir à quel point il peut être utile dans vos projets de développement.

Remuer Logiciels associés