*.exe形式のファイルをWindowsで実行するか、StuffItで解凍するとディレクトリーが生成されます。
*.zip形式のファイルは、zipを解凍できるソフトウェアを使って解凍してください。
mergetc （個々のテストカバレージ・ファイルのカバレージ情報を累積するAWKプログラム）
wcv.sh （VDMの注釈抜き行数を勘定するshellプログラム）
wcvtex.sh （TeX版VDMソースの注釈抜き行数を勘定するshellプログラム）
FPLib （佐原作成のVDM++用ライブラリー）
下記のSSLibを、関数型プログラミングを使用して書き直し、追加・改良したライブラリー。
ソースプログラムはTeXで清書できる形式にしている。
日付クラス、ソートやマージなどのシーケンスクラス、関数プログラミング支援クラス、回帰テスト支援ライブラリーなど。
SSLib （佐原作成のVDM++用ライブラリー）
日付クラス、ソートやマージなどのシーケンスクラス、関数プログラミング支援クラス、回帰テスト支援ライブラリーなど。
ソースプログラムはテキスト形式である。
Bag （ICL Enterprise Engineering社におけるPeter Gorm Larsen氏のVDM-SLセミナーにおいて、Kevin Blackburn氏が書いたVDM-SLによるBagの実装を、VDM++用に書き直したもの）
Bagは順序のない重複を許す物の集まりである