Disciplina de Métodos Formais

[Lucas Lima]

Pessoal,

A disciplina de Métodos Formais começará nesta quarta-feira (11/03) na sala 37 do DC. 

Como ainda estamos no período de ajuste de matrícula, seguem algumas informações sobre a disciplina.

Nela aprenderemos notações e ferramentas utilizadas para especificar e verificar propriedades de sistemas de um ponto de vista bem prático. 

Apesar de serem bastante utilizados para a verificação de sistemas críticos (indústria aviônica, automobilística e ciberfísica), na última década temos visto uma crescente aplicação em outros domínios, como a garantia da qualidade de arquiteturas em nuvem (Amazon), bancos de dados na nuvem (Huawei) e aplicações móveis (Meta). Abaixo seguem alguns vídeos:

Amazon's Formal Methods Journey - https://www.youtube.com/watch?v=ZuPGZ3W-ITA

Applying Formal Verification to Microkernel IPC at Meta - https://www.youtube.com/watch?v=Q1vGBUyzGF8

Formal Methods at Microsoft - https://www.youtube.com/watch?v=GEsvGGp0jyQ

Dados da disciplina:

Horários: QUA 16-18 e SEX 14-16

Avaliação: exercícios e o projeto da disciplina. 

Local: Sala 37

--

Lucas Albertins de Lima

Professor Associado

Departamento de Computação - UFRPE

Sent with Mailsuite  ·  Unsubscribe

09/03/26, 14:17:06