| Formal Methods in Software Engineering |
|---|
| Information Systems by Calculation |
| Cyber-Physical Programming |
| Formal Verification |
| Formal Methods Project |
| Past editions |
| Calendar |
| Alumni |
The assessment elements for this course are:
E - written exam (individual, closed-book)
O - oral presentation (individual) of a technical paper in the scientific area of the course
P - group project of 3 students.
Assessment options:
Method A) E + O weighing 60% and 40% of the final grade, respectively. The maximum grade in this method is 14 points.
Method B) E + O + P with weights of 40%, 20%, and 40% of the final grade, respectively. The project (P) is assessed through an oral defense.