J. Twigg, E. . Torkelson, and N. Mansouri, “Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning”, J Stud Res, vol. 10, no. 4, Nov. 2021.