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.