Publications.

CAV 2020
Vasileios Klimis, George Parisis, and Bernhard Reus. Towards Model Checking Real-World Software-Defined Networks. In Int. Conf. on Computer Aided Verification, 2020.
DOI │ pdf │  artifact ]

fmcad.20
Vasileios Klimis, George Parisis, and Bernhard Reus. Model checking software-defined networks with flow entries that time out. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 2020.
DOI │ pdf │Talk Video]