u/Ok_Youth_8952

Hey, I'm a noob in cryptography, and I can't understand the difference between cryptanalysis and formal verification, regardless of the techniques employed. My question is more about what is the purpose of each one? What do we achieve after performing only one of them and not the other? Thank you in advance!