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

Day October 27, 2023

Trending now

python-testing-guide
Complete guide to python testing frameworks
Stacked PRs: Code changes as narrative
bors-ng
What’s a bors, and why (don’t) you want it?
How to onboard an existing Helm application in ArgoCD

Aviator.co | Blog

Subscribe