Programa

Análise de Software

Doutoramento Bolonha em Informática

Programa

Em cada edição da UC 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#.