Sumber terbuka, hasil yang diverifikasi secara formal Sumber terbuka, pinjaman yang diverifikasi secara formal