Categorieën: Ontwikkeltools, Kwaliteitszorg en testen van software
- Startpagina
- Linux
- HOL
- Het downloaden van ...
HOL 7
HOL korte van hogere orde Logic is een programmeeromgeving waarin stellingen kan worden bewezen en het bewijs instrumenten geïmplementeerd.Built-in besluitvormingsprocedures en bewijshulpmiddelen kan automatisch veel eenvoudige stellingen vast te stellen....