News for hackers. Stuff that matters.

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

Re:Quint: A specification language based on the temporal log... by Kevin09210 on Wednesday December 20, 2023 @08:58AM (#38708729)
Clojure to TLA+

https://github.com/Viasat/salt

Successor: https://github.com/Viasat/halite

[ Parent | on HN ]
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 ]