Uma Metodologia de Projeto de Protocolos de Comunicação Baseada em Técnicas Evolutivas

This work uses Genetic Programming to automatically generate finite-state models that synthesize protocol specifications from protocol service specification. The approach reduces computation applicable to finite-state automata in traditional protocol synthesis methods, abstracting the protocol designer from such tasks.