INF5140 - Specification and verification of parallel systems

Schedule, syllabus and examination date

Choose semester

Course content

Temporal logic for the specification of invariance and liveness properties of parallell systems. Deductive techniques for proving that a parallell system satisfies a temporal logic specification. Automatic verification using model checking techniques

Learning outcome

Students will learn how to specify properties of parallell systems using temporal logic and how to verify that such systems satisfy these properties.

Admission

Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.

Prerequisites

Recommended previous knowledge

INF3230 - Formal modeling and analysis of communicating systems (continued)/INF220.

Overlapping courses

10 credits overlap with INF9140 - Specification and verification of parallel systems

5 credits IN315.

Teaching

3 hours of lectures each week. Mandatory assignments must be completed during the course. Rules for mandatory assignments.

Examination

Written or oral exam. The mandatory assignments must be approved prior to the exam.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.

Explanations and appeals

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.

Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

Withdrawal from an examination

If you wish to withdraw from the exam you must do so in Studentweb at least two weeks prior to the deadline. Failure to do so will be counted as an examination attempt.

Other

It is strongly recommended to attend the first lecture since it will be given important information.

Facts about this course

Credits

10

Level

Master

Teaching

Every other Spring semester.

Examination

Every spring

Teaching language

Norwegian (English on request)