Comment by Tepix

Does formal verification protect against buffer overflows? (it's a serious question)