The internet discovers TLA+. Now what?

Took 10 minutes to find this: TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.

Real world applications of TLA+: https://foundation.tlapl.us/industry/index.html.

The Intel paper shows how TLA+ was applied as a step prior to writing the hardware description. I'm not sure if it caught on, it seems like other tools are used nowdays, does anyone here in the VLSI industry know?

See:

https://news.ycombinator.com/item?id=48287718

With link to pdf, github

Take a writing class. This was painful to read.

Time to discover communicating sequential processes instead :P

[dead]