I see “pick the right tool for the right job” all the time when it comes to whether someone should learn Alloy vs TLA+. I’m not a mathamagician though. Can someone provide a simple, concrete example of when to choose one or the other?
For example, what would be the “right tool” for these jobs?
Or is there a different way to think about this? The fear of picking the wrong tool is keeping me from learning anything. :/
Additionally, I also have these questions.