Chương trình theo dolphin-project.sf.net
-
Dolphin Project Miễn phí
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.