Verifying the configuration of virtualized network functions in software defined networks. - Johan Pelay; Fabrice Guillemin; Olivier Barais (NFV-SDN, 2017)