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