Controller unabhängige Verifikation von Service Function Chains in dynamischen Cloud-Umgebungen