wmf on Ask HN: Is formal verification of practical use in real world projects? · Hackerly

Comment on Ask HN: Is formal verification of practical use in real world projects?parent

TLA+ is a big one.