Aplicaciones comprobables = no más cajas negras.

Imagínese saber que cada transacción, saldo y cálculo es correcto sin tener que hacer conjeturas.