Computação Verificada de Alto Desempenho Aplicada à Resolução de Sistemas Lineares Intervalares Densos em Arquiteturas Multicore Documento