Automated Technology for Verification and AnalysisYu-Fang Chen, Chih-Hong Cheng, Javier Esparza₹3,258