ACM code generator
As of 2011-09-10, this project may now be found at https://github.com/kyllercg/acmgen.
Screenshots
Description
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).
Categories
License
Update Notifications
User Reviews
Be the first to post a review of ACM code generator!