Aplicativos comprováveis ​​= sem mais caixas-pretas.

Imagine saber que cada transação, saldo e cálculo está correto sem nenhuma suposição.