News for hackers. Stuff that matters.

A comment on Modeling Adversaries with TLA+.

Re:Modeling Adversaries with TLA+ by lemmster on Wednesday May 15, 2019 @12:06PM (#19920771)
An review of the post is at https://lemmster.de/tla-liveness-review.html
[ Parent | on HN ]

There are no comments on this comment yet.