Cos'è VDMTools?
VDMTools è una suite di strumenti di sviluppo software che supporta il Vienna Development Method (VDM), un linguaggio di specifica formale utilizzato nell'ingegneria del software per sistemi critici. Sviluppato da CSK Corporation in Giappone, include un correttore di tipi, un interprete e funzionalità di generazione di codice per le specifiche VDM-SL, VDM++ e VDM-RT.
File che VDMTools apre
Developer Files
Clicca su qualsiasi badge per i dettagli completi per formato - cos'è, come aprirlo e come convertirlo.
Scarica VDMTools
FONTEwww.vdmtools.jpsito ufficiale - evita i portali di download di terze parti
