Automated Technology For Verification And Analysis door