프로그램별 dolphin-project.sf.net

돌고래 프로젝트는 오픈 소스 Satisfiability 솔버 도구와 관련된 도구를 집계하는 연구 프로젝트로, 경계 모델 체커 및 소프트웨어 검증자와 같은 도구입니다.