Text this: Verification on policies for network functions in SDN/NFV-based environment