PROGRAMS BY acmgen.sf.net
-
ACM code generator Free
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 implementatio