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 akkad33 on Thursday December 25, 2025 @06:09AM (#46383696)
Do you know what tools they use?
[ Parent | on HN ]
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 ]