News for hackers. Stuff that matters.

A comment on Make formal verification and provably correct software practical and mainstream. Parent comment

Re:Make formal verification and provably correct software pr... by picardo on Saturday May 28, 2022 @11:20PM (#31546054)
I found TLA+ syntax unapproachable as a beginner. I did more digging and discovered Alloy[0], a "lightweight" formal verification system, which is much simpler, and has industry adoption as well. It's working nicely for me so far.

-----------

[0] http://alloytools.org/

[ Parent | on HN ]

There are no comments on this comment yet.