Präzise Überprüfung von Änderungen in Netzwerken durch relationale Verifikation

Relationale Netzwerkverifikation ist ein neuer Ansatz zur Validierung von Netzwerkänderungen. Im Gegensatz zur traditionellen Netzwerkverifikation, die Spezifikationen für eine einzelne Netzwerksnapshot analysiert, analysiert die relationale Netzwerkverifikation Spezifikationen, die zwei Netzwerksnapshots (z.B. vor und nach der Änderung) betreffen und deren Ähnlichkeiten und Unterschiede erfasst.