Castro, Laura M.; Paladi, Nicolae (Elsevier BV, 2019)
[Abstract] Software-defined networks are being widely adopted and used in large and complex networks supporting critical operations. Their increasing importance highlights the need for effective validation of SDN topologies ...