Syspect は、UML2 図を使用してシステムを指定し、それらを CSP-OZ-DC 仕様に変換して正式な検証を行うツールです。
バージョン履歴
- バージョン 1.5.0 に転記 2010-05-11
いくつかの修正と更新 - バージョン 1.5.0 に転記 2010-05-11
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: syspect.informatik.uni-oldenburg.de
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.5.0
- プラットフォーム: windows