Human code review is still cheaper than fully automated verificationpeterlavigne.com·1 pts·peterlavigne·0