プログラム www.overturetool.org

オーバーチュアプロジェクトは、さまざまなVDMモデリングツール(ウィーン開発法)の統合をサポートするために、オープンソースのEclipseプラグインのセットを開発しています。その目的は、既存の VDM ツールと言語の方言をすべてサポートすることです。