Formal Verification & Research

In this talk Zarko Milosevic, Research Scientist at the Interchain Foundation, explains formal verification along with additional research he's done.

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/