Twigg, Jason, Erik Torkelson, and Nazanin Mansouri. “Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning”. Journal of Student Research 10, no. 4 (November 30, 2021). Accessed April 19, 2024. https://www.jsr.org/index.php/path/article/view/1443.