Runtime VerificationFormally Verifying Finality in Gasper: The Core of the Beacon Chainby Musab A. Alturki, Elaine Li, and Daejun ParkJul 15, 2020Jul 15, 2020