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 January 4, 2025. https://jsr.jofsr.org/index.php/path/article/view/1443.