Masters's Project: Formal Verification of Software Defined Networks

Schedule:

  • Project (Dr. Georgiana Caltais)    Start: 28 April 2020
    Tuesday 13:30 - 15:00 in Room PZ 901

Topics

Tba

Participants

Master students

Contents

Tba

Credit Requirements

Project report, project result presentation.

Workload

The time and effort of this project will amount to 270 hours.

Literature

Tba

Credits

ECTS: 9

Weekly teaching hours

SWS: 4