Tendermint Developer Session: Byzantine Model Checker Presentation

Tendermint team developer session with Igor Konnov, Researcher at INRIA Nancy — Grand Est, on the "Byzantine Model Checker."

ABOUT Cosmos is an open, distributed network of interoperable blockchains powered by the Tendermint consensus algorithm.

LINKS https://cosmos.network/ https://tendermint.com/ https://interchain.io/

Subscribe to the channel to learn more about Cosmos. Join the newsletter by visiting https://cosmos.network and hitting the subscribe button. Finally, read what it's all about at https://blog.cosmos.network/