Software

ACMgen

ACMgen is an automatic code generator of Asynchronous Communication Mechanisms (AMC). Its main features includes the generation of C++ source code, SMV models and Petri net models of RRBB, OWBB and OWRRBB ACMs.


Jabuti

Jabuti is a tool to generate state space descriptions of Asynchronous Communication Mechanisms (AMC). Its main feature is the generation of state graphs specifications of RRBB, OWBB and OWRRBB ACMs in the input language of Petrify.
Subpáginas (2): ACMgen Jabuti
Comments