Programas por acmgen.sf.net

A ACMgen é um gerador automático de códigos dos Mecanismos de Comunicações Assíncronos baseados na geração de modelos de redes Petri que podem ser verificados formalmente contra algumas propriedades e depois transformados num