ACMgen 是非同步通訊機制的自動代碼產生器，基於 Petri 網路模型的生成，這些模型可以針對某些屬性進行正式驗證，然後轉換為實際實現（例如.C+或 Verilog）。
版本歷史記錄
- 版本 1.0 發佈於 2008-03-10
若干修復和更新 - 版本 1.0 發佈於 2008-03-10
軟體細節
- 軟體分類： 發展 > 其他
- 發佈者： acmgen.sf.net
- 軟體性質： 免費
- 價格： N/A
- 版本： 1.0
- 作業系統： linux
ACMgen 是非同步通訊機制的自動代碼產生器，基於 Petri 網路模型的生成，這些模型可以針對某些屬性進行正式驗證，然後轉換為實際實現（例如.C+或 Verilog）。