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