Åpen kildekode, formelt verifisert utbytte Åpen kildekode, formelt verifisert lån