• Did a small TLA+ exercise. Easier than I thought http://beza1e1.tuxen.de/tla-plus.html 8 comments 17/10/2019 formalmethods