| Einschätzen APROVE ist ein System für automatisierte Kündigung und innerste Kündigungsnachweise von Term-Rewrite-Systemen (TRSS). |
Jetzt downloaden |
Einschätzen Ranking & Zusammenfassung
- Lizenz:
- Other/Proprietary Li...
- Name des Herausgebers:
- AProVE Team
- Website des Verlags:
- http://aprove.informatik.rwth-aachen.de/
Einschätzen Stichworte
Einschätzen Beschreibung
APROVE ist ein System für automatisierte Kündigung und innerste Kündigungsnachweise von Term-Rewrite-Systemen (TRSS). APROVE - Automated Program-Überprüfungsumgebung - ist ein System für automatisierte Kündigungs- und innerste Kündigungsnachweise von Term-Rewrite-Systemen (TRSS). Außerdem handhabt Apreveive mehrere andere Formalismen, z. B. Logikprogramme (PROGOG), Funktionsprogramme (Haskell 98), bedingte TRSS, TRSS MODULO AC, kontextsensitive TRSS usw. Die Macht des APROVE wird im jährlichen internationalen Wettbewerb von demonstriert Kündigungs-Tools, in denen APROVE das stärkste Werkzeug für die Kündigung von TRSS im Jahr 2004, 2005, 2006 und 2007 war. 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-Runtime-System Version 1.5 oder neuerinstallation: Unerfunktion des Archivs Megabyte der Erinnerung. Java -xmx400m -jar eigne.jarstarts -jarstarts steigst beispielsweise mit einem Speichergrenze von 400 Megabyte. Ohne diese Option wird die Standardgrenze verwendet, die recht niedrig ist.
Einschätzen Zugehörige Software