Twigg, J.; Torkelson, E. .; Mansouri, N. Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning. J Stud Res 2021, 10.