Formal Verification of Computer Systems

5 ECTS credits
125 h study time

Offer 1 with catalog number 4018164FNR for all students in the 2nd semester at a (F) Master - specialised level.

Semester

2nd semester

Enrollment based on exam contract

Impossible

Grading method

Grading (scale from 0 to 20)

Can retake in second session

Yes

Taught in

French

Partnership Agreement

Under agreement for exchange of courses

Faculty

Faculty of Science and Bio-engineering Sciences

Department

Computer Science

External partners

Université libre de Bruxelles

Educational team

Decaan WE (course titular)

Activities and contact hours

36 contact hours Lecture
12 contact hours Seminar, Exercises or Practicals

Course Content

Additional info

Learning Outcomes

General competences

Grading

The final grade is composed based on the following categories:
Other Exam determines 100% of the final mark.

Within the Other Exam category, the following assignments need to be completed:

Examen with a relative weight of 1 which comprises 100% of the final mark.

Additional info regarding evaluation

Allowed unsatisfactory mark

The supplementary Teaching and Examination Regulations of your faculty stipulate whether an allowed unsatisfactory mark for this programme unit is permitted.

Academic context