Fig. 6From: Verifying big data topologies by-design: a semi-automated approachComputation funnelBack to article page