PRoofster: Automated Formal Verification-Reference-Cited by-同舟云学术

PRoofster: Automated Formal Verification

Published:2023-05 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
language:
Short-container-title:

Author:

Agrawal Arpan¹,First Emily²,Kaufman Zhanna²,Reichel Tom¹,Zhang Shizhuo¹,Zhou Timothy¹,Sanchez-Stern Alex²,Ringer Talia¹,Brun Yuriy²

Affiliation:

1. University of Illinois,Urbana-Champaign,IL,USA

2. University of Massachusetts,Amherst,MA,USA

Funder

Defense Advanced Research Projects Agency

Publisher

IEEE

Link

Reference54 articles.

3. jsCoq: Towards hybrid theorem proving interfaces;jesus;User Interfaces for Theorem Provers,0

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Baldur: Whole-Proof Generation and Repair with Large Language Models;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Seldonian Toolkit: Building Software with Safe and Fair Machine Learning;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05

3. Better Automatic Program Repair by Using Bug Reports and Tests Together;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05