Hva er VDMTools?
VDMTools er en pakke med programvareutviklingsverktøy som støtter Vienna Development Method (VDM), et formelt spesifikasjonsspråk som brukes i sikkerhetskritisk programvareutvikling. Utviklet av CSK Corporation i Japan, inkluderer det en typekontrollør, tolker og kodingsegenskaper for VDM-SL, VDM++ og VDM-RT-spesifikasjoner.
Filer VDMTools åpner
Developer Files
Klikk på et merke for fullstendige detaljer per format - hva det er, hvordan du åpner det og hvordan du konverterer det.
Last ned VDMTools
KILDEwww.vdmtools.jpoffisiell side - unngå tredjeparts nedlastingsportaler
