• VEasy : a tool suite towards the functional verification challenges 

      Pagliarini, Samuel Nascimento (2011) [Tese]
      Esta dissertação descreve um conjunto de ferramentas, VEasy, o qual foi desenvolvido especificamente para auxiliar no processo de Verificação Funcional. VEasy contém quatro módulos principais, os quais realizam tarefas-chave ...