Formal Modeling of Beefy, a Protocol for Supporting Light Clients. - Daniel O. Dirdal; Leander Jehl; Bhargav Nagaraj Bhatt; Hein Meling; Nejm Saadallah (FORTE, 2026)