Mathematics Winter School 

03/02/2014, 14:00 — 15:00 — Amphitheatre Pa1, Mathematics Building
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.