Formally Verified Liveness with Multiparty Session Types in Rocq. - Omer Keskin; Nobuko Yoshida; Rob van Glabbeek (CoRR, 2026)