Formal Verification/Verificação Formal

Usar provas matemáticas rigorosas para garantir certas propriedades de algoritmos de criptografia e mecanismos de Blockchain.