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 bugarela on Wednesday December 20, 2023 @10:53AM (#38710007)
I didn't take a very deep look yet, but this might be similar to https://github.com/pfeodrippe/recife
[ Parent | on HN ]

There are no comments on this comment yet.