VDMJ
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 4.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre VDMJ
O VDMJ fornece suporte básico de ferramentas para as linguagens de especificação VDM-SL, VDM++ e VDM-RT, escritas em Java. Inclui um analisador, um verificador de tipo, um intérprete, um depurador e um gerador de obrigações de prova. É usado pelo projeto Eclipse de Abertura.