News for hackers. Stuff that matters.

A comment on Ask HN: Is formal verification of practical use in real world projects?. Parent comment

Re:Ask HN: Is formal verification of practical use in real w... by wmf on Thursday December 25, 2025 @11:32AM (#46385370)
TLA+ is a big one.
[ Parent | on HN ]

There are no comments on this comment yet.