Open Source, formal verifiziertes Ertrags- Open Source, formal verifiziertes Ausleihen