我目前正在参加并行软件设计课程，我们正在重点关注建模。我看到了这个的价值，但我不确定我们使用的工具是否可怕，好，或介于两者之间，因为我找不到任何其他的例子。我们目前正在使用LTS分析器，其中包含更多信息here。
所以我的问题是，对于那些完成并发系统设计的人来说，你是否在实现之前为应用程序建模，如果有的话，你使用什么工具呢？感谢。
答案 0 :(得分：1)
虽然我没有使用过，但我自己也听说过JPF的一些好消息（计划很快使用它）。
答案 1 :(得分：1)
一种比较广为人知的建模和工具工具。 SPIN模型检查器验证了各行业中的并发/分布式系统：http://spinroot.com/spin/ 但请记住，无论您的设计有多正确和/或验证您的模型，您的实施仍然需要遵循。这是许多项目以某种方式失败的地方。