@inproceedings{agrawal-2023-proofster, title={PRoofster: Automated Formal Verification}, url={http://dx.doi.org/10.1109/icse-companion58688.2023.00018}, DOI={10.1109/icse-companion58688.2023.00018}, booktitle={2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)}, publisher={IEEE}, author={Agrawal, Arpan and First, Emily and Kaufman, Zhanna and Reichel, Tom and Zhang, Shizhuo and Zhou, Timothy and Sanchez-Stern, Alex and Ringer, Talia and Brun, Yuriy}, year={2023}, month=May, pages={26–30} }