VDM information web site

VDMToolsの譲渡、並びに当Webサイト閉鎖のお知らせ

いつも、VDM information web siteをご利用いただき誠にありがとうございます。

当Webサイトより2点重要なお知らせをいたします。

1点目は、SCSK株式会社にて開発・配布しております "VDMTools" の譲渡のお知らせです。 2005年にデンマークのIFAD社からVDMToolsを取得して以来、弊社にて機能追加・改良を進めて参りましたが、 ここ数年はあまり活発な改良ができない状況となっておりました。 そのため、この度、VDMのみならず形式手法に対する幅広い活動をしていらっしゃる九州大学様へVDMToolsを譲渡いたしました。

VDMToolsの譲渡手続きが終了いたしましたので、当WebサイトにてVDMToolsを配布することはできません。 なお、現在のVDMToolsにつきましては、アンインストールされるまでご利用いただけますので、ご安心ください。

2点目につきましては、誠に勝手ながら、当Webサイトは2016年3月31日をもちまして閉鎖させていただきました。 閲覧いただいていた皆さまにはご迷惑をおかけしますが、これまで長きに渡り当Webサイトをご利用いただき誠にありがとうございました。

今後、VDMToolsを含めたツールの配布や情報提供に関しては、九州大学様や有識者の方々と ご相談させていただきながら進めていきたいと考えております。

本件にご理解賜りますようお願い申し上げます。