द्वारा कार्यक्रम acmgen.sf.net
-
ACM code generator मुफ्त
एसीएमजीन पेट्री नेट मॉडल की पीढ़ी के आधार पर अतुल्यकालिक संचार तंत्र का एक स्वचालित कोड जनरेटर है जिसे औपचारिक रूप से कुछ गुणों के खिलाफ सत्यापित किया जा सकता है और फिर वास्तविक कार्यान्वयन (जैसे.C + + या वेरिलॉग) में बदल दिय