デフォルトでは、すべてのソフトウェアが複数のファイル拡張子をサポートしています。 VDMToolsは、少なくとも1個の異なるファイル拡張子をサポートします。 VDMToolsがサポートする基本ファイルは.VDMです。ただし、リストにリストされているすべての拡張機能がVDMToolsの作業の効果を保存するために常に使用されるわけではありません。多くの場合、このような拡張子を持つファイルは、VDMToolsで使用されるソースデータファイルとして使用されます。
VDMToolsを使用して、以下にリストするファイル拡張子間でファイル形式を変換できます。以下のファイル拡張子のいずれかのファイルをVDMToolsで開き、VDMToolsでもサポートされている別のファイル形式で保存してみてください。