Human code review is still cheaper than fully automated verification
peterlavigne.com