Towards model checking real-world software-defined networks

DOI10.1007/978-3-030-53291-8_8zbMath1478.68166arXiv2004.11988OpenAlexW3046921229MaRDI QIDQ2226729

George Parisis, Vasileios Klimis, Bernhard Reus

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2004.11988

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Uppaal

This page was built for publication: Towards model checking real-world software-defined networks