効率的なシンボリックツールパッケージ(EST)は、同時システムの正式な検証のためのBDDベースのツールです。その利点は、柔軟性、移植性、効率的なメモリ管理です。これは、Linux と Windows 2000/XP を含む、異なる OS で実行されます。
バージョン履歴
- バージョン N/A に転記 2006-10-09
いくつかの修正と更新 - バージョン N/A に転記 2006-10-09
プログラムの詳細
- カテゴリ: 通信 > 他
- パブリッシャー: est.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows