Hol HOL is een programmeeromgeving waarin Theorems kunnen worden bewezen en bewijsstukken geïmplementeerd.
Download nu

Hol Rangschikking & Samenvatting

Hol Tags

programmeeromgeving geautomatiseerd proof systeem stellingen solver HOL bewijs

Hol Beschrijving

HOL is een programmeeromgeving waarin Theorems kunnen worden bewezen en bewijsmiddelen worden geïmplementeerd. HOL kort van hogere orde Logica is een programmeeromgeving waarin stellingen kunnen worden bewezen en bewijsmateriaal geïmplementeerd. Bouw-in-besluitprocedures en stellingprocedures kunnen automatisch veel eenvoudige stellingen vaststellen. Een Oracle-mechanisme geeft toegang tot externe programma's zoals SAT en BDD-motoren.hol 4 is bijzonder geschikt als een platform voor het implementeren van combinaties van aftrek, uitvoering en onroerend goedcontrole. Wat is nieuw in deze release: · Nieuwe set Bevrijding Notatie is toegevoegd. · SML String Notation is toegevoegd. · Ondersteuning voor de XEMACS-editor werd toegevoegd. · Case-uitdrukkingen kunnen nu literals als patronen omvatten. · Inductieve definities worden nu gemaakt met betrekking tot een variërend monoset. · Typen die afkoele patronen worden afgedrukt. · Ondersteuning voor rationele getallen en gehele getallen met vaste lengte werd toegevoegd. · Bugs die voorkomen dat sommige componenten van het compileren onder GCC 4 werden vastgesteld. · Normalisatie in natuurlijke getallen en gehele getallen was opgelost. · Hantering van lege snaren werd vastgesteld.

Hol Gerelateerde software