Rashid, M., Zafar, N. A., Khan, L., Khan, M. Z., Alahmadi, A. (2026). Formal modeling and verification of GRANDPA finalization safety in polkadot. Scientific Reports. https://doi.org/10.1038/s41598-026-51047-3