Defesa de Dissertação de Mestrado de Camila de Souza Ferreira, 24/11/25, 14h, por videoconferência Link para defesa: https://meet.google.com/krg-awyy-shu Modelagem do Consenso Bizantino em Timed Automata Resumo: Esta dissertação apresenta uma modelagem formal para o Consenso Bizantino, problema clássico de sistemas distribuídos formalizado por Leslie Lamport, Robert Shostak e Marshall Pease. O estudo aborda a necessidade...Read More