VF : Verificação Formal
| Name | |
|---|---|
| Manuel Alcino Pereira Cunha | [email protected] |
| Jorge Miguel Matos Sousa Pinto | [email protected] |
| Maria João Gomes Frade | [email protected] |
| Assessment | Grade (0-20) | Ratio |
|---|---|---|
| 1st Test (Coq Proof Assistant) | 19.1 | 33 % |
| 2nd Test (Why3) | 19 | 33 % |
| 3rd Test (Model Checking) | 13.5 | 33 % |