News for hackers. Stuff that matters.

A comment on Alloy is an open source language and analyzer for software modeling. Parent comment

Re:Alloy is an open source language and analyzer for softwar... by RockmanX on Saturday May 25, 2019 @05:17PM (#20011497)
the point I like Alloy is that it allows you to express something like "forall function f such that f is well-define ...", very cool.

I barely know anything about TLA+ though.

[ Parent | on HN ]

There are no comments on this comment yet.