News for hackers. Stuff that matters.

A comment on Modeling Adversaries with TLA+. Parent comment

Re:Modeling Adversaries with TLA+ by vrnithinkumar on Tuesday May 07, 2019 @05:30PM (#19853640)
Use of Formal Methods at Amazon Web Services https://lamport.azurewebsites.net/tla/formal-methods-amazon....
[ Parent | on HN ]

There are no comments on this comment yet.