This secondment at Green by Web was related to Task 3.4 (Static verification of b-APIs consumers) in Work Package 3. It addressed the problem of statically verifying systems of concurrent processes where some processes have an unknown number of replicas, e.g., to verify systems  consisting of 2 node managers and ‘n’ workers.