Verifying automation