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 mcguire on Saturday May 25, 2019 @04:33PM (#20011221)
They're both model checkers. Alloy had a better "programming language", to me. TLA+ is more aggressive about being untyped, IIRC.
[ Parent | on HN ]

There are no comments on this comment yet.