Navegação TCC Ciência da Computação por Assunto "VeLLVM"
Resultados 1-1 de 1
-
Formalização de ACCE no provador de teoremas Coq
(2013) [Trabalho de conclusão de graduação]Este trabalho descreve uma implementação da transformação ACCE em Coq. A técnica visa permitir que um programa detecte e corrija automaticamente erros de controle de fluxo causados por soft errors. A transformação é aplicada ...