Verification of Tendermint Light Client by Stevan Ognjanovic as part of MSc thesis at EPFL, 2020 - View it on GitHub