O curso tem por objectivo o estudo de técnicas de especificação, modelação, análise e verificação de sistemas reactivos, com ênfase na sua composição concorrente e no controlo da interacção continuada com o ambiente.
Serão introduzidas técnicas de especificação de propriedades, modelação, análise e verificação deste tipo de sistemas, assim como lógicas apropriadas.