Comment on Ask HN: Is formal verification of practical use in real world projects?parentComments−akkad33OP8moDo you know what tools they use?−wmf8moTLA+ is a big one.
Comments
Do you know what tools they use?
TLA+ is a big one.