VDMTools

VDMTools overzicht

Standaard ondersteunt alle software meerdere bestandsextensies. VDMTools ondersteunt minimaal 1 verschillende bestandsextensies. De basisbestanden die VDMTools ondersteunt zijn .VDM. Niet alle extensies in de lijst worden echter altijd gebruikt om de effecten van werk in VDMTools op te slaan. Heel vaak worden bestanden met dergelijke extensies gebruikt als brongegevensbestanden die worden gebruikt door VDMTools.

VDMTools kan worden gebruikt om bestandsformaten te converteren tussen de hieronder vermelde bestandsextensies. U kunt een bestand met een van de onderstaande bestandsextensies openen via VDMTools en proberen het op te slaan in een ander bestandsformaat, ook ondersteund door VDMTools.