A characterisation of verification tools for software defined networks | Publicación