Guiding Formal Verification Orchestration Using Machine Learning Methods. - Eman M. Elmandouh; Amr G. Wassal (ACM Trans. Design Autom. Electr. Syst., 2018)