Modeling a merge queue with TLA+

In this article, we use TLA+ to create a basic merge queue system.
Avatar photo

Masaya Suzuki

Software engineer @ Aviator

Tag tla+

Trending now

Stacked PRs: Code changes as narrative
bors-ng
What’s a bors, and why (don’t) you want it?
Getting started with Terraform in DevOps
python-testing-guide
Complete guide to python testing frameworks

Aviator.co | Blog

Subscribe

Be the first to know once we publish a new blog post

Join our Discord