Programa
Análise de Software
Doutoramento Bolonha em Informática
Programa
Em cada edição da disicplina serão considerados um conjunto de tópicos de entre os seguintes: Sistemas do tipo: cálculo lambda simplesmente tipado, extensões, subtipos, objetos imperativos. Especificações de comportamentos Raciocínio sobre estruturas heap O fluxo de informação e controle de acesso Verificação de sistemas orientados a objetos Programação Concorrente Ferramentas e casos de estudo: Dafny, Verifast, Jif, Why3, Typescript, Chalice, Spec#.