Programy według dolphin-project.sf.net

Projekt Dolphin ma być projektem badawczym agregującym narzędzia związane z narzędziami i narzędziami związanymi z rozwiązaniam Open Source, takimi jak bounded Model Checkers i Software Verifiers.