Submit Software
  1. Home
  2. Linux
  3. Other
  4. ACM code generator
  5. Download

ACM code generator 1.0

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎2 ‎votes

ABOUT ACM code generator

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

Related Programs

  • Jump from SOAP to REST with WSDL2REST Free

    A tool chain allowing quick migration from existing SOAP webservices implementation to RESTful webservices implementation by using axisting WSDL defintion together with the services impl. classes.(dev. by a group http://tech.

  • DOSBox Launch Pad Free

    Configuring DOSBox can be a bit daunting, so I decided to write a VB.Net project that provided a GUI to control the numerous entries in the DOSBox .conf files.

  • DMG Automounter for Linux Free

    DMG Automounter is a nautilus script that enables any distribution of Linux to mount a Mac OS X .dmg file (but not install it, since that would require the Mac OS X APIs which are closed source). README has entire install ins

  • APEX Imaging Spectrometer Tools Free

    APEX Tools is a collection of utilities used in conjunction with the processing of airborne hyperspectral data developed for the ESA-Prodex supported Airborne Prism EXperiment (APEX).

  • MGP Free

    The Maven GWT plugin is used to compile JavaScript source files from the Java source. The plugin runs GWTCompiler, allows to configure compiler options, automatically detects source and resource files location. Does not requi

  • PHP Toolbox Free

    PHP Toolbox is designed to make the process of creating database-poweredwebsites easier. It utilizes the iterative or step-by-step developmentparadigm. The main functionality is handled by powerful Table/Form classes and th

  • Java Modeling Language (JML) Free

    The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit te

  • Sample YouTube Player Free

    Sample App for SimpleYouTubePlayer github projecthttps://github.com/TheFinestArtist/SimpleYouTubePlayerYouTubePlayerActivity HandlesOrientation Problem (with Auto Rotation mode)Auto-Rotation ON : You can either use sensor or

  • Gelide Free

    Gelide is a configurable frontend which let you manage any kind of emulated system (arcade, console, PC, etc) letting you to catalog and launch any game from any existing emulator under GNU/Linux.

  • HMI User Control Free

    (EN)The goal of the User Control project is to make few User Controls to interface PLC system to HMI application build Under Win32. Every cooperation will be very appreciated. (IT) L'obiettivo del progetto e' quello di realiz