Program verification We really tried. It's hard, and verification of even simple programs easily hits the worst cases in automation. It will take another decad

Program verification We really tried. It's hard, and verification of even simple programs easily hits the worst cases in automation. It will take another decade before program verification is digestible by mainstream programmers.