HackerTrans
TopNewTrendsCommentsPastAskShowJobs

superqd

no profile record

comments

superqd
·6 年前·discuss
No, not just for academia. Apparently, Amazon uses it to check their designs for correctness.

https://lamport.azurewebsites.net/tla/formal-methods-amazon....
superqd
·7 年前·discuss
yeah, I didn't actually read the entire article because of this.