> I don't mean to attack this work, but what good are formal methods if they still allow failures like this? Honest question. It's research and not a producti

> I don't mean to attack this work, but what good are formal methods if they still allow failures like this? Honest question. It's research and not a production product: they're likely concentrating on problems that are original and interesting to the research community instead of looking at problems that the community knows are already solvable.