Chương trình theo dolphin-project.sf.net

Dự án Dolphin được dự định là một dự án nghiên cứu tập hợp các công cụ liên quan đến các công cụ và công cụ giải quyết thỏa đáng mã nguồn mở và các công cụ liên quan đến chúng như Bounded Model Checkers và Software Verifiers.