Einschätzen automatisierte Programmüberprüfungsumgebung
Jetzt downloaden

Einschätzen Ranking & Zusammenfassung

Einschätzen Stichworte

Prüfer Überprüfung Proofing Prüfumgebung. Programmüberprüfung. Code-Proofing.

Einschätzen Beschreibung

Das System-APOVE kann für automatisierte Kündigung und innerste Kündigungsnachweise von (bedingten) Term-Term-Rewrite Systems (TRSS), Prolog-Programmen, funktionalen und imperativen Programmen verwendet werden. APROVE bietet derzeit viele Transformationstechniken, grundlegende Kündigungstechniken (einschließlich rekursiver Pfadbestellungen, Knut-Bendix-Bestellungen, Polynomaufträge, RFC-Matchofen), Abhängigkeitspaare einschließlich der jüngsten Verfeinerungen wie Verengung, Umschreibungen und Instantiierung von Abhängigkeitspaaren sowie dem Größenänderungsprinzip , auch in Kombination mit Abhängigkeitspaaren. Das Werkzeug ist in Java geschrieben, und die Proofs können sowohl in einem vollautomatischen oder in einem interaktiven Modus über eine grafische Benutzeroberfläche durchgeführt werden. Geben Sie ein, um zu sehen, wie nützlich er in Ihren Entwicklungsprojekten liegen kann.

Einschätzen Zugehörige Software