Programy według dolphin-project.sf.net
-
Dolphin Project Wolna
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.