Quint — Protocol Specifications Made Executable - Zarko Milosevic
Channel: ConsensusLab
Date: 14/06/2023

Zarko Milosevic (Informal Systems)

Cosmos (https://cosmos.network) is an open source blockchain project that enables development of sovereign, decentralised and interconnected applications. This talk will provide overview of distributed systems and formal verification techniques and methodologies used since 2017 in Cosmos, with emphasis on recent development, i.e., Quint. Quint is a modern specification language that is a particularly good fit for distributed systems and blockchain protocols. It combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art static analysis and development tooling.

ConsensusDays 23 
Site: https://research.protocol.ai/sites/consensusday23/
Playlist: https://www.youtube.com/playlist?list=PLxN6L-h3wFfsRKLCj4I8xKeKjy9OL-EY6