Automated Technology For Verification And Analysis by