¿Qué es VDMTools?
VDMTools es una suite de herramientas de desarrollo de software que admite el Método de Desarrollo de Viena (VDM), un lenguaje de especificación formal utilizado en la ingeniería de software de seguridad crítica. Desarrollado por CSK Corporation en Japón, incluye un comprobador de tipos, un intérprete y capacidades de generación de código para especificaciones VDM-SL, VDM++ y VDM-RT.
Archivos que abre VDMTools
Developer Files
Haga clic en cualquier insignia para ver los detalles completos por formato: qué es, cómo abrirlo y cómo convertirlo.
Descargar VDMTools
FUENTEwww.vdmtools.jpsitio oficial - evite portales de descarga de terceros
