This is kind of my argument to champion logical robustness over design. Design feels good and logical robustness is hard and difficult. But the latter can be a

This is kind of my argument to champion logical robustness over design. Design feels good and logical robustness is hard and difficult. But the latter can be achieved and some cases the design must be discarded in some ways to achieve it. I took a grad course about formal verification. Basically, there are ways to mathematically ensure a program will never go wrong. http://old-www.cs.dartmouth.edu/~cs50/data/tse/wikipedia/wiki/Formal_verification.html http://old-www.cs.dartmouth.edu/~cs50/data/tse/wikipedia/wik...