Advertentie
Halo 2-statistieken
Halo 2-statistieken - Type in een Xbox Live Gamertag om naar die gebruikers halo 2 statistische pagina op bungie.net te springen. ...
HOL-Z
HOL-Z - Proofomgeving voor Z gebouwd als plug-in van de generieke stellingsprover Isabelle / Hol ...
specificatie importeren importeur Importeerspecificatie bewijs omgeving
HOL-OCL
HOL-OCL - Interactieve bewijsomgeving voor het object Constraint Language (OCL) ...
bouwen bewijs bewijs omgeving OCL milieu Verfijn de specificatie
Hol-testgen
HOL-Testgen - Testcase-generator voor specificatie gebaseerde eenheidstests ...
test script proefproces Testcase-generator Genereer testcase