Este projeto apresenta um plano para o desenvolvimento da geração e verificação de código de montagem no método B. Normalmente, esse processo nos tradutores e nos compiladores mais maduros é relativamente seguro. Por outro lado, sistemas usados em transportes de pessoas, controles financeiros, equipamentos médicos e militares exigem uma certificação rigorosa do software. Recentemente, em Yang et al (2011) foram encontrados mais de 325 erros em onze compiladores comerciais e públicos considerados seguros pela academia. Avaliando esse cenário, o presente projeto busca fornecer subsídios e ferramental computacional para elevar a confiabilidade do processo de tradução. Ele também promove o aperfeiçoamento do proponente e desenvolvimento de técnicas relacionadas.
Projeto importado do Suap em 21/09/2026 às 03:11 (há 1 mês, 2 semanas)