The Tendermint specification in TLA+ was written by Zarko Milosevic and Igor Konnov at Informal Systems in 2019-2020. The main goal was to demonstrate agreement and accountability with Apalache.
The Tendermint specification in TLA+ was written by Zarko Milosevic and Igor Konnov at Informal Systems in 2019-2020. The main goal was to demonstrate agreement and accountability with Apalache.