開發者 dolphin-project.sf.net

Dolphin 專案旨在成為一個研究專案，用於聚合與開源可伸縮性解算器相關的工具，以及與它們相關的工具，如邊界模型檢查器和軟體驗證器。