Twigg, J., E. . Torkelson, and N. Mansouri. “Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning”. Journal of Student Research, vol. 10, no. 4, Nov. 2021, doi:10.47611/jsr.v10i4.1443.