Einschätzen Java-basierte und automatisierte Programmüberprüfungsumgebung
Jetzt downloaden

Einschätzen Ranking & Zusammenfassung

Einschätzen Stichworte

Automatisierung Überprüfung Programmüberprüfung Beendigungsnachweis Überprüfung automatisieren Beendigung

Einschätzen Beschreibung

Java-basierte und automatisierte Programmüberprüfungsumgebung APROVE ist ein kostenloses für nicht-kommerzielles Gebrauchssystem für automatisierte Kündigung und innerste Kündigungsnachweise von Term-Rewrite-Systemen (TRSS). Außerdem behandelt Apreveive mehrere andere Formalismen, z. B. Logikprogramme (Prolog), TRSS MODULO AC, Funktionsprogramme (Haskell 98), bedingte TRSS, kontextsensitive TRSS usw.Ancrove basiert auf dem Framework von Abhängigkeiten und bietet eine breite Vielzahl unterschiedlicher terminierender Techniken. Diese Techniken können vom Benutzer über eine grafische Benutzeroberfläche frei konfiguriert und kombiniert werden. Außerdem bietet APROVE auch einen "vollautomatischen" Modus an, in dem geeignete Terminierungstechniken in einer bestimmten festen Reihenfolge angewendet werden, die sich in der Praxis oft als erfolgreich erstellt. Anforderungen: · Java 1.5 oder höher

Einschätzen Zugehörige Software