Des applications prouvables = fini les boîtes noires.

Imaginez savoir que chaque transaction, chaque solde et chaque calcul sont corrects sans aucune incertitude.