Vad är VDMTools?
VDMTools är en svit av programvaruutvecklingsverktyg som stöder Vienna Development Method (VDM), ett formellt specifikationsspråk som används inom säkerhetskritisk programvaruteknik. Den har utvecklats av CSK Corporation i Japan och innehåller en typprovning, tolk och kodgenereringsfunktioner för VDM-SL-, VDM++- och VDM-RT-specifikationer.
Filer som VDMTools öppnar
Developer Files
Klicka på valfri bricka för fullständiga detaljer per format - vad det är, hur man öppnar det och hur man konverterar det.
Ladda ner VDMTools
KÄLLAwww.vdmtools.jpofficiell webbplats - undvik tredjepartsportaler
