プログラム acmgen.sf.net

ACMgen は、一部のプロパティに対して正式に検証し、実際の実装 (例えば.C++ や Verilog) に変換できるペトリネット モデルの生成に基づく非同期通信メカニズムの自動コード ジェネレーターです。