Investor's wiki

Verificação formal

Verificação formal

Usando provas matematicamente rigorosas para garantir certas propriedades de algoritmos criptogrƔficos e mecanismos de blockchain