HOL - Kostenlosen Download-Software Für Linux In Qualitätssicherung und Testen von Software

HOL 7

HOL Kurz von Logik höherer Ordnung ist eine Programmierumgebung, in der Theoreme bewiesen werden kann und Sichere Werkzeuge implementiert.Integrierte Entscheidungsverfahren und Theorembeweisern automatisch etablieren viele einfache Sätze. Ein...