Verifying dependencies