Verifikasi formal memungkinkan kepercayaan dalam skala besar