Скачать или смотреть Verificação Formal: Provando que seu Projeto está Correto - Palco: Argentina

Latinoware 2021 - #Latinoware2021 #Latinoware #Itaipu #PTI #fozdoiguacu
Palco: Argentina - Desenvolvimento e Linguagens
Data: 14/10/2021
Horário: 18:00 às 18:55

Título: Verificação Formal: Provando que seu Projeto está Correto

Descrição: Existem situações onde possíveis falhas em um projeto não são aceitáveis, e apenas testá-lo não é o suficiente. Através de verificação de modelos e assistentes de provas, é possível se obter provas matemáticas que um software ou hardware está, de fato, correto. O objetivo dessa palestra é introduzir brevemente alguns conceitos para verificação formal de software, além de ilustrar ferramentas de software livre usadas para tal, incluindo linguagens de programação com tipos dependentes, que permitem ao programador simultaneamente escrever seu código e provar que ele está correto.

Palestrante(s):
Paulo Torrens
Mestre em computação aplicada com foco em compiladores e teoria de tipos, e entusiasta de software livre de longa data. Atualmente trabalhando como prof. substituto (Universidade do Estado de Santa Catarina – UDESC) e analista de sistemas (NG Informática).