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