Hvad er VDMTools?
VDMTools er en suite af softwareudviklingsværktøjer, der understøtter Vienna Development Method (VDM), et formelt specifikationssprog, der bruges i sikkerhedskritisk softwareudvikling. Det er udviklet af CSK Corporation i Japan og inkluderer en typekontrol, fortolker og kodegenereringsfunktioner til VDM-SL, VDM++ og VDM-RT specifikationer.
Filer VDMTools åbner
Developer Files
Klik på et hvilket som helst badge for fulde detaljer per format - hvad det er, hvordan man åbner det, og hvordan man konverterer det.
Download VDMTools
KILDEwww.vdmtools.jpofficiel side - undgå tredjeparts download-portaler
