Run the Model

Finding bugs a pull request can’t fix? Run the model.

A place for formal modeling, TLA+, and the bugs you can’t catch with tests. The blog walks through real systems one model at a time, and the code that goes with each post lives on GitHub so you can run it yourself.

Where to find things