Listar Tesinas Ciencia de la Computación por autor "Wilges, Peterson"
Mostrando ítems 1-1 de 1
-
Verificador temporal de propriedades em tempo de execução implementado em VHDL
Wilges, Peterson (2014) [Tesinas de grado]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 ...