VDMJ
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 4.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over VDMJ
VDMJ biedt basishulpprogramma's voor de VDM-SL, VDM++ en VDM-RT specificatietalen, geschreven in Java. Het omvat een parser, een typechecker, een tolk, een debugger en een bewijsverplichtingsgenerator. Het wordt gebruikt door de Ouverture eclipse project.