Programas por acmgen.sf.net

ACMgen é um gerador automático de código de Mecanismos de Comunicações Assíncronos baseado na geração de modelos de redes Petri que podem ser formalmente verificados contra algumas propriedades e, em seguida, transformados em