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