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