User Guide to Model Checking for Industrial Programmers with TLA+

11 views

Skip to first unread message

Shane Miller

unread,

May 22, 2026, 3:45:05 PM (22 hours ago) May 22

to tlaplus

This is a quick note that the examples in:

https://github.com/gshanemiller/tla-examples

together with an updated 'tla.pdf' have been pushed. It includes a model of a packet based RPC protocol. I will continue to update this over the upcoming months.

The PDF is a self-contained treatment on TLA with many examples. I've included page 1 here containing the abstract and table of contents if you're curious.

Regards