Tendermint Developer Session: Verifying Distributed Algorithms

Tendermint team developer session with Joseph Widder, temporary associate professor (Privatdozent) in the Embedded Computing Systems group at TU Wien, on verifying distributed algorithms.

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/