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#.