併發系統建模工具

Question

我目前正在參加並行軟件設計課程，並且我們非常關注建模。我看到了這方面的價值，但我不確定我們使用的工具是可怕的，好的還是介於兩者之間的，因爲我找不到任何其他示例。我們目前正在使用LTS分析儀，並提供更多信息here。

所以我的問題是，對於已經完成併發系統設計的任何人，是否在實現之前爲應用程序建模？如果有的話，您使用了哪些工具？謝謝。

Answer 1

雖然我沒有用過自己，但我已經聽說了一些關於JPF的好東西（計劃儘快使用它）。

Answer 2

一個在各行業並行/分佈式系統的建模&驗證更廣爲人知的工具是SPIN模型檢測：http://spinroot.com/spin/ 但是請記住，無論多麼正確的設計和/或驗證你的模型是，你的實現仍然需要效仿。這是許多項目以這種或那種方式失敗的地方。