Rashid, M., Rasool, I., Afzaal, H., Zafar, N. A. (2025). Formal verification of safety properties of epoch processing in Beacon Chain. Scientific Reports. https://doi.org/10.1038/s41598-025-27396-w