Human code review is still cheaper than fully automated verification

peterlavigne.com