Verifizierte Quelloffene Projekte unter OSPL