News for hackers. Stuff that matters.

A comment on Modeling Adversaries with TLA+. Parent comment

Re:Modeling Adversaries with TLA+ by raister on Wednesday May 08, 2019 @02:34AM (#19856383)
What about TIGA? http://people.cs.aau.dk/~adavid/tiga/
[ Parent | on HN ]

There are no comments on this comment yet.