Formal Modeling of Beefy, a Protocol for Supporting Light Clients.

Daniel O. Dirdal, Leander Jehl, Bhargav Nagaraj Bhatt, Hein Meling, Nejm Saadallah

Browse the full FORTE paper archive.