Aula 1/2 16/02
Objectivos da disciplina e tópicos do programa. Métodos de avaliação. Bibliografia recomendada.
Breve introdução aos métodos formais para o desenvolvimento de sistemas informáticos.
Introdução ao Model checking. Sistemas de transição. Execuções. Modelação de circuitos sequências e programas.
Bibliografia: Cap. 1 e 2 RSD, Slides, Cap 1 , 2.1 PMC
Aula 3/4 23/02
Paralelismo e Comunicação. Concorrência e Intercalagem. Comunicação por variáveis partilhadas. Handshaking. Protocolos de Exclusão Mútua.
Bibliografia: Cap 2.2.1-2.2.3 PMC