Explaining Safety Failures in NetKAT

Georgiana Caltais, Hunkar Can Tunc

This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a netwo…