Controller-independent Verification of Service Function Chains (SFC) in Clouds