Master Computer Science



The following thesis was written by a student in the 2023-2024 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleValidation & Simulation of Software-Defined Network Specifications in Probabilistic NetKAT
StudentRemmerswaal, Floyd
ProgrammeMaster Computer Science
Year2023-2024
SupervisorsBasold, dr. H. (Henning)
Bonsangue, prof.dr. M.M. (Marcello)
Laarman, dr. A.W. (Alfons)
Thesis Open Thesis PDF

Citation details

Remmerswaal, Floyd, Validation & Simulation of Software-Defined Network Specifications in Probabilistic NetKAT, Thesis Master Computer Science, LIACS, Leiden University, 2024.