ACM code generator download

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).

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow ACM code generator

ACM code generator Web Site

User Reviews

Be the first to post a review of ACM code generator!

Additional Project Details

Operating Systems

Linux

Languages

English, Brazilian Portuguese

Intended Audience

Science/Research

User Interface

Gnome, Command-line, GTK+

Programming Language

Java

Related Categories

Java UML Tool, Java Algorithms, Java Code Generators

Registered

2007-01-24

Similar Business Software

DbVisualizer

DbVisualizer is one of the world’s most popular database editors. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to visualize and manage their databases, schemas, objects, and table data, and to auto-generate, write and optimize queries. And so much...

See Software
Sourcegraph Cody

Cody is an AI coding assistant that uses search and codebase context to help you write code faster. Cody brings autocomplete, chat, and commands to your IDE, so you can generate code, write unit tests, create docs, and explain complex code using AI. Choose from the latest LLMs, including GPT-4o...

See Software
Adobe PDF Library SDK

Shorten development times & get to market faster with Adobe PDF Library. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for stability, reliability...

See Software

Report inappropriate content