開發者 acmgen.sf.net

ACMgen 是非同步通訊機制的自動代碼產生器，基於 Petri 網路模型的生成，這些模型可以針對某些屬性進行正式驗證，然後轉換為實際實現（例如.C+或 Verilog）。