VDMTools

VDMTools は、安全性が重視されるソフトウェアエンジニアリングで使用される形式手法記述言語、ウィーン開発方法論（VDM）をサポートするソフトウェア開発ツールスイートです。日本の株式会社 CSK によって開発され、VDM-SL、VDM++、および VDM-RT 仕様のための型チェッカー、インタプリタ、およびコード生成機能を備えています。

バッジをクリックすると、その形式の詳細（概要、開き方、変換方法）を確認できます。