Hacker News new | ask | show | jobs
by superqd 2201 days ago
No, not just for academia. Apparently, Amazon uses it to check their designs for correctness.

https://lamport.azurewebsites.net/tla/formal-methods-amazon....