> Anyway, formal methods can only help you to protect against attacks that you are already aware. Not sure exactly what you mean here but on its face it isn’t

> Anyway, formal methods can only help you to protect against attacks that you are already aware. Not sure exactly what you mean here but on its face it isn’t true. Formal Methods are arguably the single best way of protecting you against attacks that you are not already aware of, by eliminating entire classes of bugs, errors or attack vectors, without regard to what type of attacks may be used against them.