Twigg J, Torkelson E, Mansouri N. Predicting Formal Verification Resource Needs (Computation Time and Memory) through Machine Learning. J Stud Res [Internet]. 2021Nov.30 [cited 2024Nov.23];10(4). Available from: https://www.jsr.org/index.php/path/article/view/1443