PRoofster: Automated Formal Verification - Agrawal, Arpan (The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2023)