Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE

Nenhuma Miniatura disponível
Data
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal do Espírito Santo
Resumo
Descrição
Palavras-chave
Graph isomorphism , Model checking , GROOVE , IVL , Graph transition system , Verificação de modelos conceituais , Sistema de transição de grafos
Citação
ANYZEWSKI, Alessandra Silva. Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE. 2016. 70 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2016.