03/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.
