Navegação TCC Ciência da Computação por Assunto "Fault detection"
Resultados 1-1 de 1
-
Verificador temporal de propriedades em tempo de execução implementado em VHDL
(2014) [Trabalho de conclusão de graduação]A verificação de projetos digitais é essencial para garantir o correto funcionamento e aumentar a confiabilidade de um sistema. Este trabalho visa fazer a verificação de sistemas reativos através de propriedades formais ...