TWIGG, J.; TORKELSON, E. .; MANSOURI, N. Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning. Journal of Student Research, v. 10, n. 4, 30 Nov. 2021.