Programmi di acmgen.sf.net

ACMgen è un generatore automatico di codici di meccanismi di comunicazione asincroni basato sulla generazione di modelli di reti di Petri che può essere formalmente verificato rispetto ad alcune proprietà e quindi trasformato