Hacker News new | ask | show | jobs
by nickpsecurity 129 days ago
There were a number of methods for doing TLA-like stuff. Others included SPIN/Promela, Pi Calculus (IIRC), and Event-B.