people are even doing formal verification to cryptography... not just tests...
Login to reply
Replies (1)
Yep, we will see what they say when they verify ours.