The paper Verified Parameterized Choreographies written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at COORDINATION 2025. The accompanying artefact (doi) was also accepted with Available and Functional badges. See you in Lille!