News for hackers. Stuff that matters.

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

Re:Ask HN: Is formal verification of practical use in real w... by wmf on Wednesday December 24, 2025 @05:23PM (#46379918)
Formal verification is useful for security-critical software (e.g. the new AWS hypervisor) or low-level distributed systems components (e.g. Paxos/Raft implementations).
[ Parent | on HN ]
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 ]