frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Choreo: Choreograph Distributed Protocols on Quint

https://quint-lang.org/choreo
3•bugarela•4mo ago

Comments

bugarela•4mo ago
The Quint (specification language based on TLA+) team just launched Choreo: a framework to get started writing specs for distributed systems, leveraging some known techniques such as the message soup. This should help more people get started with formal specifications without having to study so much about non-determinism and state space optimization.