Concurrency 并发系统建模工具

我目前正在学习并行软件设计课程，我们非常关注建模。我看到了其中的价值，但我不确定我们使用的工具是可怕的、好的还是介于两者之间，因为我找不到任何其他例子。我们目前正在使用LTS Analyzer，并提供了更多信息

---

所以我的问题是，对于那些做过并发系统设计的人来说，在实现之前，你们是否对你们的应用程序进行建模，如果是的话，你们用什么工具来实现呢？谢谢。

虽然我还没有用过我自己，但我听说了一些关于它的好东西（计划很快使用它）。

在不同行业中，对并发/分布式系统进行建模和验证的一个更广为人知的工具是SPIN model checker： 但是请记住，无论您的设计和/或验证模型多么正确，您的实现仍然需要遵循。这就是许多项目以某种方式失败的地方