Application datasets: 20710
Version datasets: 149266
DBApp v1.06
Copyright © demon
|
|
| Programm-Informationen |
| Applikation: | HOL |
| Version(en): | | Hauptzweig | 7 | | Lizenz: | BSD-Lizenz (Dreiklausel) |
| Homepage: | http://hol.sourceforge.net/ |
| Kategorie: | Konsole |
| Beschreibung: |
| Higher Order Logic (HOL) ist eine Programmierumgebung, in der Sätze bewiesen und Beweiswerkzeuge implementiert werden können. Eingebaute Entscheidungsprozeduren und Satzbeweiser können automatisch viele einfache Sätze beweisen. Ein Orakel-Mechanismus ermöglicht den Zugriff auf externe Programme wie SAT- und BDD-Engines. HOL ist insbesondere als Plattform zur Implementierung von Kombinationen von Ableitung, Ausführung und Prüfen von Eigenschaften geeignet. |
| |
| Weitere Informationen |
| Programmiersprache: | Keine Angaben |
| Betriebsysteme: | |
| Zielgruppe: | |
| |
Neue Version melden
Neue Homepage melden
Neue Beschreibung
Lizenzänderung
Kategorie-Änderung
"Weitere Informationen" ändern
Weitere Anmerkungen
|
|
|
RSS/Feeds