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 jleahy on Wednesday December 20, 2023 @10:15AM (#38709550)
At very least it looks like it can do what TLA can do whilst being dramatically less painful to learn / work with. That is very much enough to be interesting.
[ Parent | on HN ]

There are no comments on this comment yet.