1
A
回答
1
您可以使用Spin Model checker來檢查系統的抽象描述。
對於基於Java的實現，您可以使用Java Path Finder。
也有mace，在那裏你可以實現和測試像Paxos這樣的分佈式系統，它有一些支持包括C代碼。
問候，基督教
相關問題
- 1. 在JQuery中檢查模型
- 2. 模板類型檢查C++
- 3. 檢查模型的屬性
- 4. 檢查模型關係
- 5. 模型大小檢查
- 6. 錯誤檢查模型
- 7. 模型檢查工具c＃
- 8. 模型所有權檢查
- 9. 元模型計數檢查
- 10. Multi-paxos實例
- 11. 檢查用戶帳戶模型類型
- 12. Django模型繼承和類型檢查
- 13. Rails - 檢查模型是否模塊
- 14. 使用模型檢查器檢查一個特定跟蹤
- 15. 檢查GUI模型是否改變;比較兩個GUI模型
- 16. Laravel路由模型綁定：檢查路由參數模型
- 17. NuSMV模型檢查：創建一個簡單的遊戲模型
- 18. 軌道模型行動檢查
- 19. Haskell類型檢查/模式匹配
- 20. 檢查模擬對象的類類型
- 21. 檢查是否生成ExtJs模型ID
- 22. 通用/模板類型檢查
- 23. Cakephp檢查模型是否存在
- 24. 檢查新的權限模型
- 25. 直接在模型上檢查驗證
- 26. 簡單模型檢查工具
- 27. 檢查模型實例落在鐵軌
- 28. R如何檢查使用kmeans模型
- 29. 查看未檢測到模型屬性
- 30. 編譯時檢查模板類型C++
我懷疑你會有更好的運氣http://cstheory.stackexchange.com/ – btilly