Software-Defined Networking (SDN) is a networking paradigm that has become increasingly popular in the last decade. The unprecedented control over global behaviour of network it provides opens range new opportunities for formal methods and much work appeared few years on providing bridges between SDN verification. This article advances this research line link traditional verification concurrent...