Advertentie
Hol verhaal
Cave Story Software is een platformer met invloeden van de metroid-games. ...
Hol-testgen
Hol-Testgen is A is een testcase-generator voor op specificaties gebaseerde eenheidstests. ...
Hol
HOL is een programmeeromgeving waarin Theorems kunnen worden bewezen en bewijsstukken geïmplementeerd. ...
programmeeromgeving geautomatiseerd proof systeem stellingen solver HOL
HOL-OCL
HOL-OCL is een interactieve bewijsomgeving voor de Object Constraint-taal (OCL). ...
inbedding ondiepe inbedding Logica met hogere orde proefomgeving HOL-OCL