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