O que é o VDMTools?
VDMTools é um conjunto de ferramentas de desenvolvimento de software que suporta o Vienna Development Method (VDM), uma linguagem de especificação formal usada em engenharia de software crítica para a segurança. Desenvolvido pela CSK Corporation no Japão, inclui um verificador de tipos, intérprete e recursos de geração de código para especificações VDM-SL, VDM++ e VDM-RT.
Arquivos que o VDMTools abre
Developer Files
Clique em qualquer selo para detalhes completos por formato - o que é, como abrir e como converter.
Baixar VDMTools
FONTEwww.vdmtools.jpsite oficial - evite portais de download de terceiros
