ACMgen は、一部のプロパティに対して正式に検証し、実際の実装 (例えば.C++ や Verilog) に変換できるペトリネット モデルの生成に基づく非同期通信メカニズムの自動コード ジェネレーターです。
バージョン履歴
- バージョン 1.0 に転記 2008-03-10
いくつかの修正と更新 - バージョン 1.0 に転記 2008-03-10
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: acmgen.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.0
- プラットフォーム: linux