MFP

Logo

Índice

Métodos Formais em Engenharia de Software
Cálculo de Sistemas de Informação
Programação Ciber-física
Verificação Formal
Calendário | Sumários
Anos anteriores
Alumni

Formal Verification

This course is part of our Master’s specialization on formal methods and focus on the formal verification of concurrent and distributed algorithms, using both model checking with TLA+/TLC and deductive verification with Why3 and Coq.

The current edition can be accessed here.