Verifying Controls and Leveraging Automation