News for hackers. Stuff that matters.
Re:TLA+ model checking made symbolic by Ixiaus on Friday November 29, 2019 @01:22PM (#21665929)
I use it in production at my job, I primarily use it to catch sneaky bugs in designs before implementing them and to produce something tangible to talk over with other engineers once I've settled on a design.

It's worth learning and using IMHO.

There are no comments on this comment yet.