6 ms·
No, not just for academia. Apparently, Amazon uses it to check their designs for correctness. https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
by superqd 6y ago
No, not just for academia. Apparently, Amazon uses it to check their designs for correctness.
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf https://lamport.azurewebsites.net/tla/formal-methods-amazon....