Wat is VDMTools?
VDMTools is een suite van softwareontwikkelingstools die de Vienna Development Method (VDM) ondersteunen, een formele specificatietaal die wordt gebruikt in veiligheidskritische software-engineering. Ontwikkeld door CSK Corporation in Japan, bevat het een type-checker, interpreter en codegeneratiemogelijkheden voor VDM-SL-, VDM++- en VDM-RT-specificaties.
Bestanden die VDMTools opent
Developer Files
Klik op een badge voor volledige details per formaat - wat het is, hoe u het opent en hoe u het converteert.
Download VDMTools
BRONwww.vdmtools.jpofficiële site - vermijd downloadportalen van derden
