Automated reasoning often makes systems more efficient and easier to maintain aws.amazon.com 1 points by tim_sw 7 hours ago