开发者 acmgen.sf.net

ACMgen 是异步通信机制的自动代码生成器，基于 Petri 网络模型的生成，这些模型可以针对某些属性进行正式验证，然后转换为实际实现（例如.C+或 Verilog）。