Escola de Inverno de Matemática 

05/02/2014, 14:00 — 15:00 — Anfiteatro Pa1, Pavilhão de Matemática
Jaime Ramos, Instituto Superior Técnico

Verificação formal. Como e porquê?

Hoje em dia contactamos diariamente com computadores e sistemas de software em grande parte da nossa actividade diária. E, muitas vezes, nem nos apercebemos que tal acontece. Do despertador ao telemóvel, passando pelo elevador ou pelo automóvel, em todos podemos encontrar sistemas de software complexos. E, nos últimos anos, esta complexidade tem vindo a aumentar drasticamente. É importante garantir o bom funcionamento destes sistemas de forma eficiente. Neste curso, vamos fazer uma viagem pelas áreas da matemática que estão na base da especificação e verificação formal de sistemas. Vamos também contactar com ferramentas usadas pela indústria para este fim.