Nelma Moreira
... all those moments will be lost, in time, like tears in rain.
Papers
Home
Projects
Teaching
ProgCon 2425
SLP 2024
VP 2025
Events
Software
Students
Lecture notes
DCC Tech Reports
CNM
Exercícios de Verificação Formal de Software
Model Checking
Sistemas de Transição
Paralelismo e Comunicação entre Processos
Propriedades Temporais Lineares
Lógica LTL
Lógica CTL
Algoritmo de Model Checking do CTL
OBDDs e model checking simbólico de CTL
Cálculos de correção parcial e total
Exercícios
Dafny:
samples e tutorial
Home
>
Teaching
>
VFS 2019
>
Exercícios
>
Made in RapidWeaver
