Model-Based Testing and Formal Verification Tools for Blockchain Protocols

Apalache model checker advances and TLA+ specifications for Cosmos ecosystem.