开发者 dolphin-project.sf.net

Dolphin 项目旨在成为一个研究项目，用于聚合与开源可伸缩性解算器相关的工具，以及与它们相关的工具，如边界模型检查器和软件验证器。