Rendimento open source, formalmente verificato Prestito open source, formalmente verificato