News for hackers. Stuff that matters.

A comment on Quint: A specification language based on the temporal logic of actions (TLA). Parent comment

Re:Quint: A specification language based on the temporal log... by abathologist on Wednesday December 20, 2023 @06:44PM (#38715165)
That's what I meant! Thanks for the correction :)
[ Parent | on HN ]

There are no comments on this comment yet.