NETwork COnfiguration Verification and Validation