Formal verification of safety properties of epoch processing in Beacon Chain. - Rashid M; Rasool I; Afzaal H; Zafar NA (Scientific reports, 2025)