Öppen källkod, formellt verifierad avkastning Öppen källkod, formellt verifierad upplåning