The Department of Defense Wants Less Proof Its Software Works