Formell verifiering

Använda matematiskt rigorösa bevis för att säkerställa vissa egenskaper hos kryptografiska algoritmer och blockkedjemekanismer