https://hackerpaper.kaipfister.de/p/1710.07191/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=43689112urn:hackerpapers:mention:1710.07191:43689112Tue, 15 Apr 2025 04:57:55 GMT<p>Spin is a great learning tool. Spin is so much more accessible than TLA+ Toolbox, for instance. But for really serious work, there are much more modern approaches that exploit SMT solvers like Z3 (as TLA+ does) for vastly more powerful model checking than Spin offers. Also, the creator of Spin has retired it seems; email to the spin list bounces. The &quot;community&quot; forum has not accepted registrations for several years. Basically it seems Spin was a one man show, and he has not passed the torch onto anyone else. The tool is still incredible though, and a great place to start. Just don&#x27;t expect…</p><p><a href="https://hackerpaper.kaipfister.de/p/1710.07191/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL