My secondment at Green by Web was related to Task 3.4 (Static verification of b-APIs consumers) in WP3. We’ve 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. The work and collaboration are still ongoing.

Leave a Reply