Kyller Costa Gorgônio

ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).

Screenshot thumbnail
Main window of the ACMgen GUI

Project Members: