Listar Tesinas Ciencia de la Computación por tema "ACCE"
Mostrando ítems 1-1 de 1
-
Formalização de ACCE no provador de teoremas Coq
(2013) [Tesinas de grado]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 ...